Autor der Publikation

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

Specifying & Verifying Concurrent Systems Using Z.. FME, Volume 873 von Lecture Notes in Computer Science, Seite 366-380. Springer, (1994)Object-Oriented Theories for Model Driven Architecture., , und . OOIS Workshops, Volume 2426 von Lecture Notes in Computer Science, Seite 235-244. Springer, (2002)Evaluating Security Properties of Architectures in Unpredictable Environments: A Case for Cloud., , , und . WICSA, Seite 127-136. IEEE Computer Society, (2011)Using Z to Rigorously Review a Specification of a Network Management System., , , , , , und . ZUM, Volume 967 von Lecture Notes in Computer Science, Seite 423-433. Springer, (1995)Visualising Concurrent Z Specifications.. Z User Workshop, Seite 269-281. Springer/BCS, (1994)Developing the UML as a Formal Modelling Notation., , , und . CoRR, (2014)The UML as a Formal Modeling Notation, , , und . The Unified Modeling Language. <<UML>>'98: Beyond the Notation, Volume 1618 von LNCS, Springer, Germany, (1999)Meta-Modelling Semantics of UML, , , und . Behavioral Specifications of Businesses and Systems, Kluver Academic Publisher, (1999)A Unified Superstructure for UML., , , , und . Journal of Object Technology, 4 (1): 165-182 (2005)Is a Precise Semantics Desirable? For What Purpose?, , , und . ECOOP Workshops, Volume 1743 von Lecture Notes in Computer Science, Seite 37-40. Springer, (1999)