Autor der Publikation

Object-Oriented Specification and Stepwise Refinement.

, , und . Open Distributed Processing, Volume C-1 von IFIP Transactions, Seite 99-121. North-Holland, (1991)

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

What is an Object, After All?, und . DS-4, Seite 39-69. (1990)Algebraic Specification with subsorts using declarations., und . Bulletin of the EATCS, (1983)Specifying Communication in Distributed Information Systems., und . Acta Inf., 36 (8): 591-616 (2000)Minimale und m-minimale Variablenmengen für partielle Boole'sche Funktionen. Acta Inf., (1973)Entwurf eines Datenbank-Prototyps für geowissenschaftliche Anwendungen., , und . BTW, Seite 43-57. (1989)Algebraic (?) Specification of Conceptual Database Schemata.. ADT, Volume 116 von Informatik-Fachberichte, Seite 22-27. Springer, (1984)Three-Level-Specification of Databases using an extended Entity-Relationship Model., , , und . EMISA, Volume 143 von Informatik-Fachberichte, Seite 58-88. Springer, (1987)Datenbanken und Informationssysteme., , und . 40 Jahre Informatik @ Braunschweig, Volume T-6 von LNI, Seite 84-91. GI, (2012)My ADT Shrine.. WADT, Volume 7137 von Lecture Notes in Computer Science, Seite 13-24. Springer, (2010)Ein axiomatischer Ansatz für eine Algebra strukturierter Objekte.. WG, Seite 143-162. Carl Hanser Verlag München Wien, (1975)