Sciweavers

3987 search results - page 87 / 798
» Ontology-Based Model Transformation
Sort
View
66
Voted
ECEASST
2010
14 years 10 months ago
Verification of Model Transformations
Bernhard Schätz
ENTCS
2007
108views more  ENTCS 2007»
15 years 23 days 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