Author of the publication

Inspection of Safety-Critical Software Using Program-Function Tables.

. IFIP Congress (3), volume A-53 of IFIP Transactions, page 270-277. North-Holland, (1994)

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

Precise software documentation: making object-orientation work better.. OOPSLA Companion, page 725. ACM, (2007)On the use of transition diagrams in the design of a user interface for an interactive computer system.. ACM National Conference, page 379-385. ACM, (1969)Abstract Types Defined as Classes of Variables., , and . Conference on Data: Abstraction, Definition and Structure, page 149-153. ACM, (1976)Connecting Good Theory to Good Practice: Software Documentation: A Case Study.. Software Engineering, volume P-121 of LNI, page 17-20. GI, (2008)A Family of Mathematical Methods for Professional Software Documentation.. IFM, volume 3771 of Lecture Notes in Computer Science, page 1-4. Springer, (2005)Some conclusions from an experiment in software engineering techniques.. AFIPS Fall Joint Computing Conference (1), volume 41 of AFIPS Conference Proceedings, page 325-329. AFIPS / ACM / Thomson Book Company, Washington D.C., (1972)Another view of the Dijkstra-dMLP controversy.. ACM SIGSOFT Softw. Eng. Notes, 3 (4): 20-21 (1978)On the Design and Development of Program Families.. IEEE Trans. Software Eng., 2 (1): 1-9 (1976)The Modular Structure of Complex Systems., , and . IEEE Trans. Software Eng., 11 (3): 259-266 (1985)The design of the virtual memory aspects of a virtual machine., and . Workshop on Virtual Computer Systems, page 184-190. ACM, (1973)