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

Execution traces and programming-language semantics.. Int. J. Parallel Program., 6 (4): 263-278 (1977)Transportable Package Software., und . Softw. Pract. Exp., 10 (12): 1009-1027 (1980)Efficient Multiprogramming Resource Allocation and Accounting.. Commun. ACM, 16 (6): 337-343 (1973)Software Quality, Software Process, and Software Testing.. Advances in Computers, (1995)Theory of Modules., , und . IEEE Trans. Software Eng., 13 (7): 820-829 (1987)Ignorance of ALGOL 68 considered harmful.. ACM SIGPLAN Notices, 12 (4): 51-56 (1977)Application of "DOVETAILING" to program testing.. SIGACT News, 8 (2): 25-26 (1976)Theoretical Comparison of Testing Methods.. Symposium on Testing, Analysis, and Verification, Seite 28-37. ACM, (1989)What Can We Learn by Testing a Program?. ISSTA, Seite 50-52. ACM, (1998)Theory of Software Reliability Based on Components., , und . ICSE, Seite 361-370. IEEE Computer Society, (2001)