Author of the publication

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Wikipedia risks, , , and . Commun. ACM, (December 2005)Functional Specifications for Old (and New) Software.. GI Jahrestagung (1), volume 257 of Informatik-Fachberichte, page 3-14. Springer, (1990)On the preliminary report of C3S.. Commun. ACM, 9 (4): 242-243 (1966)Language-Free Mathematical Methods for Software Design.. ZUM, volume 967 of Lecture Notes in Computer Science, page 3-4. Springer, (1995)Software Documentation and the Verification Process.. CAV, volume 2102 of Lecture Notes in Computer Science, page 1. Springer, (2001)Precise Documentation: The Key to Better Software.. The Future of Software Engineering, page 125-148. Springer, (2010)Festschrift for Bertrand Meyer on the Occasion of His 60th Birthday, November 2010.A documentation approach for the self-adaptive system design., and . SEKE, page 791-796. Knowledge Systems Institute Graduate School, (2010)A family of computer systems for delivering individualized advice., , and . Knowl. Based Syst., 23 (7): 645-666 (2010)Warum ich an SDI nicht mitarbeite: Eine Auffassung beruflicher Verantwortung.. Inform. Spektrum, 10 (1): 3-10 (1987)Goals for software engineering student education., and . ACM SIGSOFT Softw. Eng. Notes, 30 (4): 6-8 (2005)