Model transformations play an important role in Model-Driven Engineering (MDE), and as their size and complexity grow, there is an increasing need to count on tool support for testing their correctness. In this work, we present TractsTool, a tool for specifying and testing several different kinds of model transformations, e.g., model-to-model, model-to-text, and text-to-model transformations, based on contracts.Ministerio de Ciencia e Innovación TIN2011-2379
Model transformations are core to MDE, and one of the key aspects for all model transformations is t...
Model transformations are the cornerstone of Model-Driven Engineering, and provide the essential me...
The final publication is available at Springer via http://dx.doi.org/10.1007%2Fs10270-011-0211-2Mode...
Model transformations play an important role in Model-Driven Engineering (MDE), and as their size ...
Presentado en: 16th International Conference on Model Driven Engineering Languages and Systems (MODE...
International audienceModel transformations play a critical role in Model Driven Engineering, and th...
The final publication is available at Springer via http://dx.doi.org/10.1007/s10515-012-0102-yModel-...
In a Model-Driven Development context (MDE), model transformations allow memorizing and reusing desi...
A model-driven engineering process relies on a set of transformations which are usually sequentiall...
Model transformations can automate critical tasks in model-driven development. Thorough validation t...
International audienceModel Driven Engineering (MDE) techniques support extensive use of models in o...
International audienceTesting model transformations requires input models which are graphs of inter-...
Model transformations are a central element of model-driven development (MDD) approaches such as th...
Model Driven Engineering (MDE) research has achieved major progress in the past fewyears. Though MDE...
In Model-Driven Engineering, model transformation is a key model management operation, used to trans...
Model transformations are core to MDE, and one of the key aspects for all model transformations is t...
Model transformations are the cornerstone of Model-Driven Engineering, and provide the essential me...
The final publication is available at Springer via http://dx.doi.org/10.1007%2Fs10270-011-0211-2Mode...
Model transformations play an important role in Model-Driven Engineering (MDE), and as their size ...
Presentado en: 16th International Conference on Model Driven Engineering Languages and Systems (MODE...
International audienceModel transformations play a critical role in Model Driven Engineering, and th...
The final publication is available at Springer via http://dx.doi.org/10.1007/s10515-012-0102-yModel-...
In a Model-Driven Development context (MDE), model transformations allow memorizing and reusing desi...
A model-driven engineering process relies on a set of transformations which are usually sequentiall...
Model transformations can automate critical tasks in model-driven development. Thorough validation t...
International audienceModel Driven Engineering (MDE) techniques support extensive use of models in o...
International audienceTesting model transformations requires input models which are graphs of inter-...
Model transformations are a central element of model-driven development (MDD) approaches such as th...
Model Driven Engineering (MDE) research has achieved major progress in the past fewyears. Though MDE...
In Model-Driven Engineering, model transformation is a key model management operation, used to trans...
Model transformations are core to MDE, and one of the key aspects for all model transformations is t...
Model transformations are the cornerstone of Model-Driven Engineering, and provide the essential me...
The final publication is available at Springer via http://dx.doi.org/10.1007%2Fs10270-011-0211-2Mode...