Author of the publication

Graphs in METAFrame: The Unifying Power of Polymorphism.

, , , , , , , , and . TACAS, volume 1217 of Lecture Notes in Computer Science, page 112-129. Springer, (1997)

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

A compositional approach to statecharts semantics., , and . SIGSOFT FSE, page 120-129. ACM, (2000)SA/CM/IM for Process Modelling., and . EWSPT, volume 635 of Lecture Notes in Computer Science, page 18-20. Springer, (1992)Multimodal Driver Referencing: A Comparison of Pointing to Objects Inside and Outside the Vehicle., and . CoRR, (2022)Improving Structured Analysis - Achieving Preciseness, Executability, and Real-Time Specification.. Requirements Engineering, volume 41 of Berichte des German Chapter of the ACM, page 227-245. Teubner, (1993)Truths and Beliefs about the Use of Real-Time Distributed Object Computing in Complex Industrial Applications., , , and . ISORC, page 375. IEEE Computer Society, (2001)Function Net Modeling with UML-RT: Experiences from an Automotive Project at BMW Group.. UML Satellite Activities, volume 3297 of Lecture Notes in Computer Science, page 94-104. Springer, (2004)Ein Kontrollmodell für die Strukturierte Analyse.. RWTH Aachen University, Germany, (1995)A structured operational semantics for UML-statecharts.. Software and Systems Modeling, 1 (2): 130-141 (2002)A Formal Semantics of UML-RT.. MoDELS, volume 4199 of Lecture Notes in Computer Science, page 768-782. Springer, (2006)A Comparison of Statecharts Variants.. FTRTFT, volume 863 of Lecture Notes in Computer Science, page 128-148. Springer, (1994)