TY  - BOOK
AU  - Hackl,Clemens E.
ED  - SpringerLink (Online service)
TI  - Programming Methodology: 4th Informatik Symposium, IBM Germany Wildbad, September 25–27, 1974 
T2  - Lecture Notes in Computer Science,
SN  - 9783540374015
AV  - QA75.5-76.95 
U1  - 004 23
PY  - 1975///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
KW  - Computer science
KW  - Computer Science
KW  - Computer Science, general
N1  - On the development of systems of men and machines -- A new look at the program development process -- Organizing for structured programming -- The reliability of programming systems -- Fehleranalyse und Fehlerursachen in Systemprogrammen -- APLGOL a structured programming language for APL -- Systemprogrammierung aus der Sicht der Universitaet -- Systemprogrammiersprachen und strukturiertes Programmieren -- Software engineering or methods for the multi-person construction of multi-version programs -- Knowledge and reasoning in program synthesis -- A new approach to program testing -- Interprocedural analysis and the information derived by it -- Neue Verfahren zur Optimisierung und Parallflisierung von Programmen -- Automatic programming -- Nonprocedural programming -- Formal definition in program development -- Programmierte Strukturen -- Axiomatisierung von Programmiersprachen und ihre Grenzen -- Formalization, history, present, and future
UR  - http://dx.doi.org/10.1007/3-540-07131-8
ER  -