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.

 

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

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