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

Hackl, C. E.

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

Sinossi

With contributions by numerous experts

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Contenuti

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.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Altre edizioni note dello stesso titolo

9780387071312: Title: Programming methodology 4th Informatik Symposium I

Edizione in evidenza

ISBN 10:  0387071318 ISBN 13:  9780387071312
Rilegato