There exist several recent approaches that leverages the use of model transformations during software development. The existence erent kinds of models, at different levels of abst...
To focus the comparison of languages for model checking and transformation on criteria that matter in practical development, there is an urgent need for more, and more realistic, ...
Developing an optimizing compiler for a newly proposed architecture is extremely difficult when there is only a simulator of the machine available. Designing such a compiler requ...
John Cavazos, Christophe Dubach, Felix V. Agakov, ...
The measurement of the functional size of applications generated in MDA environments is a challenge for the software development industry. This paper presents the OO-Method COSMIC ...
Web Services will transform the web from a collection of information into a distributed computational device. In order to employ their full potential, appropriate description means...