1940 search results - page 104 / 388 » Graph Transformation with Variables |
146
click to vote
ECBS
2006
IEEE
15 years 9 months ago
2006
IEEE
In this paper we argue for UML-based metamodeling and pattern-based graph transformation techniques in computer-based systems development through an illustrative example from the ...
282
click to vote
LICS
1994
IEEE
15 years 7 months ago
1994
IEEE
Higher-order narrowing is a general method for higher-order equational reasoning and serves for instance as the foundation for the integration of functional and logic programming. ...
142
click to vote
EUROMICRO
2009
IEEE
15 years 7 months ago
2009
IEEE
Model-driven application engineering builds on the concept of model transformations. To weave additional refinement parts into an application model, so-called refinement transform...
116
click to vote
SPLC
2008
15 years 4 months ago
2008
Model-driven software product lines are an emerging topic in research and industry, as they promise higher development speed and easier adaptability to customer needs. The generat...
110
click to vote
WAOA
2004
Springer
15 years 8 months ago
2004
Springer
Borodin, Nielsen and Rackoff [5] proposed a framework for ing the main properties of greedy-like algorithms with emphasis on scheduling problems, and Davis and Impagliazzo [6] ext...