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)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)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)Tool Support for OCL and Related Formalisms ^a€“ Needs and Trends, , , , , , , and . (2006)Correctly defined concrete syntax.. Softw. Syst. Model., 7 (4): 383-398 (2008)Semantics of OCL specified with QVT., and . Softw. Syst. Model., 7 (4): 399-422 (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)Refactoring OCL annotated UML class diagrams., and . Softw. Syst. Model., 7 (1): 25-47 (2008)Metamodels without Metacircularities.. L'OBJET, 9 (4): 95-114 (2003)