Autor der Publikation

Functional Semantics of Modules.

, , und . TAPSOFT, Vol.2, Volume 186 von Lecture Notes in Computer Science, Seite 42-59. Springer, (1985)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

On the Development of Systems of Men and Machines.. Programming Methodology, Volume 23 von Lecture Notes in Computer Science, Seite 1-10. Springer, (1974)Box Structured Information Systems., , und . IBM Syst. J., 26 (4): 395-413 (1987)Planning and Certifying Software System Reliability., , und . IEEE Software, 10 (1): 88-99 (1993)A SIMPL distributed operating system and its formal definition., , , , , , und . SIGPLAN-SIGOPS Interface Meeting, Seite 127-128. ACM, (1973)On the structure of a computing profession.. SIGCSE, Seite 97-101. ACM, (1973)Structured Programming: Retrospect and Prospect.. IEEE Software, 3 (6): 58-66 (1986)Box-Structured Methods for Systems Development with Objects., und . IBM Syst. J., 32 (2): 232-251 (1993)Box-structured requirements determination methods., und . Decis. Support Syst., 13 (3-4): 223-239 (1995)Functional Semantics of Modules., , und . TAPSOFT, Vol.2, Volume 186 von Lecture Notes in Computer Science, Seite 42-59. Springer, (1985)Data Structured Programming: Program Design without Arrays and Pointers., und . IEEE Trans. Software Eng., 12 (2): 192-197 (1986)