Programming Methodology: 4th Informatik Symposium, IBM Germany Wildbad, September 25–27, 1974 [1 ed.] 9783540071310, 3540071318 [DJVU]

Table of contents :
On the development of systems of men and machines....Pages 1-10
A new look at the program development process....Pages 11-37
Organizing for structured programming....Pages 38-86
The reliability of programming systems....Pages 87-113
Fehleranalyse und Fehlerursachen in Systemprogrammen....Pages 114-160
APLGOL a structured programming language for APL....Pages 161-191
Systemprogrammierung aus der Sicht der Universitaet....Pages 192-202
Systemprogrammiersprachen und strukturiertes Programmieren....Pages 203-224
Software engineering or methods for the multi-person construction of multi-version programs....Pages 225-235
Knowledge and reasoning in program synthesis....Pages 236-277
A new approach to program testing....Pages 278-290
Interprocedural analysis and the information derived by it....Pages 291-321
Neue Verfahren zur Optimisierung und Parallflisierung von Programmen....Pages 323-346
Automatic programming....Pages 347-361
Nonprocedural programming....Pages 362-385
Formal definition in program development....Pages 387-443
Programmierte Strukturen....Pages 444-465
Axiomatisierung von Programmiersprachen und ihre Grenzen....Pages 466-476
Formalization, history, present, and future....Pages 477-501