Programming Methodology: 4th Informatik Symposium, IBM Germany, Wildbad, September 25-27, 1974 (Lecture Notes in Computer Science)

Goos and Hartmanis:

ISBN 10: 3540071318 / ISBN 13: 9783540071310

Editore: Springer Berlin Heidelberg, 1974

Riguardo questo articolo

501 Seiten ex Library Book aus einer wissenschaftlichen Bibliothek Sprache: Englisch Gewicht in Gramm: 969.

Codice articolo 285645

Dati bibliografici

• Titolo: Programming Methodology: 4th Informatik Symposium, IBM Germany, Wildbad, September 25-27, 1974 (Lecture Notes in Computer Science)
• Editore: Springer Berlin Heidelberg
• Data di pubblicazione: 1974
• Lingua: Inglese
• ISBN 10: 3540071318
• ISBN 13: 9783540071310
• Rilegatura: Taschenbuch
• Condizione: Gut
• Peso: 969 grammi
• Cataloghi dei venditori:
  • Alle Bücher

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.