1511 search results - page 122 / 303 » Hierarchical Graph Transformation |
179
click to vote
ICMT
2009
Springer
15 years 11 months ago
2009
Springer
Testing model transformations requires input models which are graphs of inter-connected objects that must conform to a meta-model and meta-constraints from heterogeneous sources su...
162
click to vote
DAC
2001
ACM
16 years 5 months ago
2001
ACM
Asynchronous design has been the focus of renewed interest. However, a key bottleneck is the lack of high-quality CAD tools for the synthesis of large-scale systems which also all...
132
click to vote
DATE
2003
IEEE
15 years 10 months ago
2003
IEEE
The ForSyDe methodology has been developed for system level design. Starting with a formal specification model, that captures the functionality of the system at a high abstractio...
145
click to vote
ICSE
2009
IEEE-ACM
15 years 9 months ago
2009
IEEE-ACM
Bidirectional model transformation plays an important role in maintaining consistency between two models, and has many potential applications in software development, including mo...
134
click to vote
MODELS
2007
Springer
15 years 11 months ago
2007
Springer
In this paper we introduce a novel wide-profile graphical tool-building platform GrTP which is based on the principle of separating semantic domain model processing and user inter...