Sciweavers

1009 search results - page 22 / 202
» transML: A Family of Languages to Model Model Transformation...
Sort
View
ECMDAFA
2006
Springer
107views Hardware» more  ECMDAFA 2006»
13 years 11 months ago
Mutation Analysis Testing for Model Transformations
In MDE, model transformations should be efficiently tested so that it may be used and reused safely. Mutation analysis is an efficient technique to evaluate the quality of test dat...
Jean-Marie Mottu, Benoit Baudry, Yves Le Traon
MODELS
2009
Springer
14 years 5 days ago
On-the-Fly Construction, Correctness and Completeness of Model Transformations Based on Triple Graph Grammars
Triple graph grammars (TGGs) are a formal and intuitive concept for the specification of model transformations. Their main advantage is an automatic derivation of operational rule...
Hartmut Ehrig, Claudia Ermel, Frank Hermann, Ulrik...
ICDT
2007
ACM
106views Database» more  ICDT 2007»
14 years 1 months ago
Trajectory Databases: Data Models, Uncertainty and Complete Query Languages
Moving objects produce trajectories. We describe a data model for trajectories and trajectory samples and an efficient way of modeling uncertainty via beads for trajectory samples....
Bart Kuijpers, Walied Othman
DAGSTUHL
2006
13 years 9 months ago
Model Transformation Technologies in the Context of Modelling Software Systems
Programming technologies have improved continuously during the last decades, but from an Information Systems perspective, some well-known problems associated to the design and impl...
Oscar Pastor
WER
2004
Springer
14 years 29 days ago
Integrating Natural Language Oriented Requirements Models into MDA
MDA is a software development framework where the core is a set of automatic transformation of models. One of these models, the CIM, is used to define the business process model. T...
Maria Carmen Leonardi, María Virginia Mauco