Sciweavers

3987 search results - page 87 / 798
» Ontology-Based Model Transformation
Sort
View
87
Voted
ECEASST
2010
15 years 28 days ago
Verification of Model Transformations
Bernhard Schätz
117
Voted
ENTCS
2007
108views more  ENTCS 2007»
15 years 3 months ago
Termination Criteria for DPO Transformations with Injective Matches
Reasoning about graph and model transformation systems is an important means to underpin model-driven software engineering, such as Model-Driven Architecture (MDA) and Model Integ...
Tihamer Levendovszky, Ulrike Prange, Hartmut Ehrig