Programming Methodology

Keyphrases

Publications

1974

P. Hieman
A New Look at the Program Development Process. Programming Methodology (1974)
James C. King
A New Approach to Program Testing. Programming Methodology (1974)
Patricia C. Goldberg
Automatic Programming. Programming Methodology (1974)
Harlan D. Mills
On the Development of Systems of Men and Machines. Programming Methodology (1974)
H. Gerstmann, Hans Diel, W. Witzel
The Reliability of Programming Systems. Programming Methodology (1974)
Niklaus Wirth
Systemprogramming aus der Sicht der Universität. Programming Methodology (1974)
Gerhard Goos
Systemprogrmmiersprachen und Strukturiertes Programmieren. Programming Methodology (1974)
Heinz Zemanek
Formalization - History, Present and Future. Programming Methodology (1974)
Günter Hotz
Axiomatisierung bei Programmiersprachen und ihre Grenzen. Programming Methodology (1974)
Harwood G. Kolsky
APLGOL - A Structured Programming Language for APL. Programming Methodology (1974)
Gernot Urschler
Neue Verfahren zur Optimierung und Parallelisierung von Programmen. Programming Methodology (1974)
Cliff B. Jones
Formal Definition in Program Development. Programming Methodology (1974)
Rupert Gnatz
Programmierte Struturen. Programming Methodology (1974)
F. Terry Baker
Organizing for Structured Programming. Programming Methodology (1974)
Albert Endres
Fehleranalyse und Fehlerursachen in Systemprogrammen. Programming Methodology (1974)
David Lorge Parnas
Software Engineering or Methods for the Multi - Person Construction of Multi - Version Programs. Programming Methodology (1974)
Frances E. Allen
Interprocedural Analysis and the Information derived by it. Programming Methodology (1974)
Zohar Manna
Knowledge and Reasoning in Program Synthesis. Programming Methodology (1974)
Burt M. Leavenworth
Non-Procedural Programming. Programming Methodology (1974)