From post

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

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