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

Wiederfinden zum Wiederverwenden: Rechnergestützter Modul-Nachweis auf der Basis formaler Spezifikationen., , und . Software-Architektur, Volume 26 von Berichte des German Chapter of the ACM, Seite 66-81. Teubner, (1986)SFB 346 - Integrationstechnologien als Innovationsmotor für Maschinenbauanwendungen., , , , , und . GI Jahrestagung, Seite 185-194. Springer, (1997)Das KARAMBA Methodenbanksystem., , und . GI Jahrestagung, Volume 19 von Informatik-Fachberichte, Seite 322-336. Springer, (1979)Data Abstractions for Database Systems., , , und . ACM Trans. Database Syst., 4 (1): 60-75 (1979)DAMOKLES - A Database System for Software ENgineering Environments., , und . Advanced Programming Environments, Volume 244 von Lecture Notes in Computer Science, Seite 353-371. Springer, (1986)Forschungszentrum Informatik an der Universität Karlsruhe (FZI)., und . Inform. Forsch. Entwickl., 14 (1): 49-53 (1999)Management Summary., , und . Multiagent Engineering, Springer, (2006)Retrieval in a Module Library Using Formal Specifications: Preliminary Search Using Syntactic Properties., , und . European Conference on Computer Algebra (2), Volume 204 von Lecture Notes in Computer Science, Seite 181-196. Springer, (1985)Information Systems in Customer-Oriented, Dynamic Environments: The Marketplace as a Metaphor.. BIS, Seite 55-75. Springer, (1999)Reuse- and Aspect-Oriented Courseware Development, und . Educational Technology & Society, 9 (4): 95--113 (2006)