Programming in Methodology

C. E. Hackl

ISBN 10: 3540071318 / ISBN 13: 9783540071310

Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Mär 1975, 1975

Riguardo questo articolo

Neuware -With contributions by numerous expertsSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 512 pp. Englisch. Codice articolo 9783540071310

Dati bibliografici

Titolo: Programming in Methodology

Casa editrice: Springer Berlin Heidelberg, Springer Berlin Heidelberg Mär 1975

Data di pubblicazione: 1975

Legatura: Taschenbuch

Condizione: Neu

Descrizione articolo

Riassunto:

With contributions by numerous experts

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.