Author of the publication

Two Basic Correctness Properties for ATL Transformations: Executability and Coverage.

, , and . MtATL@TOOLS, volume 742 of CEUR Workshop Proceedings, page 1-9. CEUR-WS.org, (2011)

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

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)Verifying Action Semantics Specifications in UML Behavioral Models., , and . CAiSE, volume 5565 of Lecture Notes in Computer Science, page 125-140. Springer, (2009)An empirical study on the impact of introducing a modeling tool in a Requirement Engineering course., , and . MoDELS (Companion), page 712-720. IEEE, (2021)Model-Driven Analytics for Open Data APIs., and . ICWE Workshops, volume 11153 of Lecture Notes in Computer Science, page 176-182. Springer, (2018)Lightweight and static verification of UML executable models.. Polytechnic University of Catalonia, Spain, (2013)Generative AI in Model-Driven Software Engineering Education: Friend or Foe?, , , and . MoDELS (Companion), page 110-113. IEEE, (2023)Two Basic Correctness Properties for ATL Transformations: Executability and Coverage., , and . MtATL@TOOLS, volume 742 of CEUR Workshop Proceedings, page 1-9. CEUR-WS.org, (2011)Reverse Engineering of Object-Relational Database Schemas., , , and . JISBD, page 241-252. (2008)Designing game-like activities to engage adult learners in higher education., , and . TEEM, page 755-762. ACM, (2016)Extracting software product line feature models from natural language specifications., , and . SPLC, page 43-53. ACM, (2018)