Programming Methodology: 4th Informatik Symposium, IBM Germany Wildbad, September 25–27, 1974 [1 ed.] 9783540071310, 3540071318
136 112 4MB
English-German Pages 502 [504] Year 1975
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
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
![Programming Methodology: 4th Informatik Symposium, IBM Germany Wildbad, September 25–27, 1974 [1 ed.]
9783540071310, 3540071318](https://ebin.pub/img/200x200/programming-methodology-4th-informatik-symposium-ibm-germany-wildbad-september-2527-1974-1nbsped-9783540071310-3540071318.jpg)
- Author / Uploaded
- H. D. Mills (auth.)
- Prof. Dr. Clemens E. Hackl (eds.)
- Similar Topics
- Education
- International Conferences and Symposiums
![Programming Methodology: 4th Informatik Symposium, IBM Germany Wildbad, September 25–27, 1974 [1 ed.]
3540071318, 9783540071310](https://ebin.pub/img/200x200/programming-methodology-4th-informatik-symposium-ibm-germany-wildbad-september-2527-1974-1nbsped-3540071318-9783540071310.jpg)
![Protein-Ligand Interactions: Proceedings of the Symposium held at the University of Konstanz, Germany, September 1974 [Reprint 2019 ed.]
9783110830811, 9783110048810](https://ebin.pub/img/200x200/protein-ligand-interactions-proceedings-of-the-symposium-held-at-the-university-of-konstanz-germany-september-1974-reprint-2019nbsped-9783110830811-9783110048810.jpg)
![Enterprise Java Programming with IBM WebSphere [2nd ed]
9780321185792, 032118579X](https://ebin.pub/img/200x200/enterprise-java-programming-with-ibm-websphere-2nd-ed-9780321185792-032118579x.jpg)
![Algorithmic Game Theory: 13th International Symposium, SAGT 2020, Augsburg, Germany, September 16–18, 2020, Proceedings [1st ed.]
9783030579791, 9783030579807](https://ebin.pub/img/200x200/algorithmic-game-theory-13th-international-symposium-sagt-2020-augsburg-germany-september-1618-2020-proceedings-1st-ed-9783030579791-9783030579807.jpg)