Programming in Methodology: 4th Informatik Symposium, IBM Germany Wildbad, September 25-27, 1974

by C.E. Hackl (Editor)

Overview

With contributions by numerous experts

Product Details

ISBN-13:	9783540071310
Publisher:	Springer Berlin Heidelberg
Publication date:	04/08/1975
Series:	Lecture Notes in Computer Science , #23
Edition description:	Softcover reprint of the original 1st ed. 1975
Pages:	502
Product dimensions:	8.27(w) x 10.98(h) x 0.04(d)

Table of Contents

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.