Autor der Publikation

Comparison of Formalisation Approaches of UML Class Constructs in Z and Object-Z.

, und . ZB, Volume 2651 von Lecture Notes in Computer Science, Seite 339-358. Springer, (2003)

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

An Agile and Extensible Code Generation Framework., , und . XP, Volume 3556 von Lecture Notes in Computer Science, Seite 226-229. Springer, (2005)SAZ., , und . Z User Workshop, Seite 384-384. Springer, (1990)Using formal metamodels to check consistency of functional views in information systems specification., und . Inf. Softw. Technol., 50 (7-8): 797-814 (2008)Efficient Large-scale Road Inspection Routing., , , und . ICORES, Seite 304-312. SciTePress, (2016)Principled simulation of cell proliferation dynamics using the CoSMoS approach., und . Nat. Comput., 14 (1): 63-82 (2015)Aligning OCL with Domain-Specific Languages to Support Instance-Level Model Queries., , und . Electron. Commun. Eur. Assoc. Softw. Sci. Technol., (2006)The role of living laboratories in unlocking the potential of low-carbon energy technologies on the journey to net-zero., , , , , , , , , und 1 andere Autor(en). CoRR, (2022)Frameworks Based on Templates for Rigorous Model-driven Development, , und . Electronic Notes in Theoretical Computer Science, (Oktober 2007)Refactoring in Maintenance and Development of Z Specifications and Proofs, , und . Electronic Notes in Theoretical Computer Science, 70 (3): 50--69 (November 2002)Turning Models Inside Out., , und . MoDELS (Satellite Events), Volume 2019 von CEUR Workshop Proceedings, Seite 430-434. CEUR-WS.org, (2017)