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.

 

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

Disciplined Methods of Software Specification: A Case Study., , , , и . ITCC (2), стр. 428-437. IEEE Computer Society, (2005)isbn: 0-7695-2315-3.Rapid prototyping by means of abstract module specifications written as trace axioms., , и . Rapid Prototyping, стр. 45-49. ACM, (1982)Document Driven Disciplined Development of Software.. Australian Software Engineering Conference, стр. 2-3. IEEE Computer Society, (2005)Warum ich an SDI nicht mitarbeite: Eine Auffassung beruflicher Verantwortung.. Inform. Spektrum, 10 (1): 3-10 (1987)Using assertions about traces to write abstract specifications for software modules., и . ECI, том 65 из Lecture Notes in Computer Science, стр. 211-236. Springer, (1978)Goals for software engineering student education., и . ACM SIGSOFT Softw. Eng. Notes, 30 (4): 6-8 (2005)Building reliable software in BLOWHARD.. ACM SIGSOFT Softw. Eng. Notes, 2 (3): 5-6 (1977)On ICSE's "most influential" papers.. ACM SIGSOFT Softw. Eng. Notes, 20 (3): 29-32 (1995)Guest Editors' Introduction: Inspection's Role in Software Quality Assurance., и . IEEE Softw., 20 (4): 16-20 (2003)Precise Documentation: The Key to Better Software.. The Future of Software Engineering, стр. 125-148. Springer, (2010)Festschrift for Bertrand Meyer on the Occasion of His 60th Birthday, November 2010.