IBM Symposium: Programming Methodology 1974: Wildbad, Germany

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