Sciweavers

3410 search results - page 24 / 682
» Measuring Model Transformation in Model Driven Development
Sort
View
68
Voted
MODELS
2009
Springer
15 years 2 months ago
Change-Driven Model Transformations
István Ráth, Gergely Varró, D...
WOSP
2005
ACM
15 years 3 months ago
From UML to LQN by XML algebra-based model transformations
The change of focus from code to models promoted by OMG's Model Driven Development raises the need for verification of nonfunctional characteristics of UML models, such as pe...
Gordon Ping Gu, Dorina C. Petriu
JOT
2006
113views more  JOT 2006»
14 years 9 months ago
Constraint Validation in Model Compilers
Model transformation has become one of the most focused research field, motivated by for instance the OMG's Model-Driven Architecture (MDA). Metamodeling is a central techniq...
László Lengyel, Tihamer Levendovszky...
JSS
2010
89views more  JSS 2010»
14 years 4 months ago
Verification and validation of declarative model-to-model transformations through invariants
In this paper we propose a method to derive OCL invariants from declarative model-to-model transformations in order to enable their verification and analysis. For this purpose we ...
Jordi Cabot, Robert Clarisó, Esther Guerra,...
84
Voted
VAMOS
2010
Springer
14 years 11 months ago
Variability Modelling for Model-Driven Development of Software Product Lines
Model-driven development of software-intensive systems aims at designing systems by stepwise model refinement. In order to create software product lines by model-driven development...
Ina Schaefer