Autor der Publikation

Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation.

, , , und . CALCO, Volume 5728 von Lecture Notes in Computer Science, Seite 383-397. Springer, (2009)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Scaling-up domain-specific modelling languages through modularity services., , , , und . Inf. Softw. Technol., (2019)Towards a Formal Notion of Interaction Pattern., , und . VL/HCC, Seite 235-239. IEEE Computer Society, (2010)Bottom-Up Meta-Modelling: An Interactive Approach., , und . MoDELS, Volume 7590 von Lecture Notes in Computer Science, Seite 3-19. Springer, (2012)Example-Based Generation of Graphical Modelling Environments., , , und . ECMFA, Volume 9764 von Lecture Notes in Computer Science, Seite 101-117. Springer, (2016)Analysing Graph Transformation Rules through OCL, , , und . (2008)An Invariant-Based Method for the Analysis of Declarative Model-to-Model Transformations, , , und . (2008)Model Driven Development of Digital Libraries - Validation, Analysis and Code Generation., , und . WEBIST (2), Seite 35-42. INSTICC Press, (2007)EMF on Rails., , , und . ICSOFT, Seite 273-278. SciTePress, (2012)Automated generation and correction of diagram-based exercises for Moodle., , und . Comput. Appl. Eng. Educ., 31 (6): 1845-1866 (November 2023)Coverage-based Strategies for the Automated Synthesis of Test Scenarios for Conversational Agents., , , , und . AST@ICSE, Seite 23-33. ACM, (2024)