Author of the publication

Verification and validation of declarative model-to-model transformations through invariants

, , , and . Journal of Systems and Software, 83 (2): 283--302 (February 2010)
DOI: 10.1016/j.jss.2009.08.012

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Empirical study of how personality, team processes and task characteristics relate to satisfaction and software quality., , and . ESEM, page 291-293. ACM, (2008)Model-Driven Chatbot Development., , and . ER, volume 12400 of Lecture Notes in Computer Science, page 207-222. Springer, (2020)Spotlight on m&s activities: Web-based Simulation Activities of the Technical School of Computer Science in the Universidad Autónoma of Madrid., , , , , , and . Simul., 76 (2): 92 (2001)Guest editorial for the special section on MODELS 2020., , , and . Softw. Syst. Model., 21 (5): 1711-1713 (2022)DSMCompare: domain-specific model differencing for graphical domain-specific languages., , , , and . Softw. Syst. Model., 21 (5): 2067-2096 (2022)An example is worth a thousand words: Creating graphical modelling environments by example., , , and . Softw. Syst. Model., 18 (2): 961-993 (2019)Meta-modelling and graph grammars for multi-paradigm modelling in AToM3., , and . Softw. Syst. Model., 3 (3): 194-209 (2004)Model-Driven Engineering for Augmented Reality., , , , and . J. Object Technol., 22 (2): 1-15 (2023)Extreme Modelling (XM) 2012 Special Section., , and . J. Object Technol., (2014)Pattern-based Rewriting through Abstraction., , and . Fundam. Informaticae, 144 (2): 109-160 (2016)