IBM Symposium: Programming Methodology 1974: Wildbad, Germany

Clemens Hackl (Ed.): Programming Methodology, 4th Informatik Symposium, IBM Germany, Wildbad, September 25-27, 1974. Lecture Notes in Computer Science 23 Springer 1975, ISBN 3-540-07131-8 BibTeX

Harlan D. Mills: On the Development of Systems of Men and Machines. 1-10 BibTeX
P. Hieman: A New Look at the Program Development Process. 11-37 BibTeX
F. Terry Baker: Organizing for Structured Programming. 38-86 BibTeX
H. Gerstmann, Hans Diel, W. Witzel: The Reliability of Programming Systems. 87-113 BibTeX
Albert Endres: Fehleranalyse und Fehlerursachen in Systemprogrammen. 114-160 BibTeX
Harwood G. Kolsky: APLGOL - A Structured Programming Language for APL. 161-191 BibTeX
Niklaus Wirth: Systemprogramming aus der Sicht der Universität. 192-202 BibTeX
Gerhard Goos: Systemprogrmmiersprachen und Strukturiertes Programmieren. 203-224 BibTeX
David Lorge Parnas: Software Engineering or Methods for the Multi - Person Construction of Multi - Version Programs. 225-235 BibTeX
Zohar Manna: Knowledge and Reasoning in Program Synthesis. 236-277 BibTeX
James C. King: A New Approach to Program Testing. 278-290 BibTeX
Frances E. Allen: Interprocedural Analysis and the Information derived by it. 291-322 BibTeX
Gernot Urschler: Neue Verfahren zur Optimierung und Parallelisierung von Programmen. 323-346 BibTeX
Patricia C. Goldberg: Automatic Programming. 347-361 BibTeX
Burt M. Leavenworth: Non-Procedural Programming. 362-386 BibTeX
Cliff B. Jones: Formal Definition in Program Development. 387-443 BibTeX
Rupert Gnatz: Programmierte Struturen. 444-465 BibTeX
Günter Hotz: Axiomatisierung bei Programmiersprachen und ihre Grenzen. 466-476 BibTeX
Heinz Zemanek: Formalization - History, Present and Future. 477-501 BibTeX