Author of the publication

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

On the Usage of Concrete Syntax in Model Transformation Rules, and . (2007)Applying Fondue to Specify a Drink Vending Machine., , and . OCL 2.0 @ UML, volume 102 of Electronic Notes in Theoretical Computer Science, page 155-173. Elsevier, (2003)A Metamodel-Based Approach for Adding Modularization to KeYmaera's Input Syntax.. Ershov Informatics Conference, volume 11964 of Lecture Notes in Computer Science, page 125-139. Springer, (2019)Tool Support for OCL and Related Formalisms ^a€“ Needs and Trends, , , , , , , and . (2006)Semantics of OCL specified with QVT., and . Softw. Syst. Model., 7 (4): 399-422 (2008)Correctly defined concrete syntax.. Softw. Syst. Model., 7 (4): 383-398 (2008)Visualization Support for Contracts in VeriFast., , , and . GI-Jahrestagung, volume P-337 of LNI, page 265-275. Gesellschaft für Informatik, Bonn, (2023)Proceedings of the 8th International Conference on Model Driven Engineering Languages and Systems - MoDELS 2005 - Lecture Notes in Computer Science, and . 3713, chapter Refactoring OCL Annotated UML Class Diagrams, page 280-294. Springer Verlag, (October 2005)Modeling the Purposes of Models., , and . Modellierung, volume P-201 of LNI, page 11-26. GI, (2012)A Graphical Approach to Prove the Semantic Preservation of UML/OCL Refactoring Rules, and . (2007)