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

Functional Specifications for Old (and New) Software.. GI Jahrestagung (1), volume 257 of Informatik-Fachberichte, page 3-14. Springer, (1990)Documentation of Communications Services and Protocols.. FORTE, page 277-280. North-Holland, (1989)On the preliminary report of C3S.. Commun. ACM, 9 (4): 242-243 (1966)Software Documentation and the Verification Process.. CAV, volume 2102 of Lecture Notes in Computer Science, page 1. Springer, (2001)Language-Free Mathematical Methods for Software Design.. ZUM, volume 967 of Lecture Notes in Computer Science, page 3-4. Springer, (1995)A course on software engineering techniques.. SIGCSE, page 154-159. ACM, (1972)Disciplined Methods of Software Specification: A Case Study., , , , and . ITCC (2), page 428-437. IEEE Computer Society, (2005)isbn: 0-7695-2315-3.Goals for software engineering student education., and . ACM SIGSOFT Softw. Eng. Notes, 30 (4): 6-8 (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., and . ECI, volume 65 of Lecture Notes in Computer Science, page 211-236. Springer, (1978)