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

MDE 2.0 : Pragmatical formal model verification and other challenges.. (2012)Transformation techniques for OCL constraints., and . Sci. Comput. Program., 68 (3): 179-195 (2007)AI Engineering Research in Software Engineering Venues., , , , , and . IEEE Softw., 39 (6): 105-108 (2022)Better call the crowd: using crowdsourcing to shape the notation of domain-specific languages., , , and . SLE, page 129-138. ACM, (2017)HFCommunity: A Tool to Analyze the Hugging Face Hub Community., , and . SANER, page 728-732. IEEE, (2023)Foreword to the Thematic Track: Quality Aspects in Model-Driven Engineering., and . QUATIC, page 87. IEEE Computer Society, (2016)An OpenAPI-Based Testing Framework to Monitor Non-functional Properties of REST APIs., , , and . ICWE, volume 12128 of Lecture Notes in Computer Science, page 533-537. Springer, (2020)Constraint Support in MDA Tools: A Survey., and . ECMDA-FA, volume 4066 of Lecture Notes in Computer Science, page 256-267. Springer, (2006)Towards Access Control Models for Conversational User Interfaces., , , and . BPMDS/EMMSAD@CAiSE, volume 450 of Lecture Notes in Business Information Processing, page 310-317. Springer, (2022)Talk to Your Data: a Chatbot System for Multidimensional Datasets., , , , , and . COMPSAC, page 486-495. IEEE, (2022)