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.

Keine Personen gefunden für den Autorennamen Reggio, Gianna
Eine Person hinzufügen mit dem Namen Reggio, Gianna
 

Weitere Publikationen von Autoren mit dem selben Namen

Labelled transition logic: an outline., und . Acta Inf., 37 (11-12): 831-879 (2001)Specifying Reactive Systems by Abstract Events., und . IWSSD, Seite 122-131. IEEE Computer Society, (1993)Algebraic Specification at Work., , , und . AMAST, Seite 26-42. Springer, (1991)Activity Diagrams Patterns for Modeling Business Processes., , und . SERA (selected papers), Volume 496 von Studies in Computational Intelligence, Seite 197-213. Springer, (2013)A formally grounded software specification method., und . J. Log. Algebr. Program., 67 (1-2): 52-86 (2006)From ADT to UML-Like Modelling., , und . Ershov Memorial Conference, Volume 2244 von Lecture Notes in Computer Science, Seite 246. Springer, (2001)Improving Use Case Based Requirements Using Formally Grounded Specifications., und . FASE, Volume 2984 von Lecture Notes in Computer Science, Seite 244-260. Springer, (2004)Knowledge structuring and representation in requirement specificaiton., und . SEKE, Seite 143-150. ACM, (2002)SMoLCS-Driven Concurrent Calculi., und . TAPSOFT, Vol.1, Volume 249 von Lecture Notes in Computer Science, Seite 169-201. Springer, (1987)A Problem Frame-Based Approach to Evolvability: The Case of the Multi-translation., , , und . Monterey Workshop, Volume 6662 von Lecture Notes in Computer Science, Seite 157-175. Springer, (2010)