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

IDE-integrated Support for Schema Evolution in Object-Oriented Applications., , und . RAM-SE, Seite 27-36. Fakultät für Informatik, Universität Magdeburg, (2007)Design by Contract: The Lessons of Ariane, und . IEEE Computer, 30 (1): 129--130 (Januar 1997)http://www.inf.ethz.ch/~meyer/publications/computer/ariane.pdf -- geprüft: 17.~Januar~2009.A Sound and Complete Program Logic for Eiffel., , , und . TOOLS (47), Volume 33 von Lecture Notes in Business Information Processing, Seite 195-214. Springer, (2009)A Basis for the Constructive Approach to Programming.. IFIP Congress, Seite 293-298. (1980)Systematic Concurrent Object-Oriented Programming.. TOOLS (12/9), Seite 325. Prentice Hall, (1993)Seamless Requirements., und . CoRR, (2017)A comparative study of programmer-written and automatically inferred contracts., , und . ISSTA, Seite 93-104. ACM, (2009)Experimental assessment of random testing for object-oriented software., , , und . ISSTA, Seite 84-94. ACM, (2007)The Software Knowledge Base.. ICSE, Seite 158-165. IEEE Computer Society, (1985)Objektorientierte Softwareentwicklung. Carl Hanser Verlag / Prentice Hall, (1990)