Programming in Methodology

4th Informatik Symposium, IBM Germany Wildbad, September 25¿27, 1974
Herausgegeben:Hackl, C. E.

• Broschiertes Buch

Produktbeschreibung

With contributions by numerous experts

---

Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.

Produktdetails

• Lecture Notes in Computer Science 23
• Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
• Artikelnr. des Verlages: 978-3-540-07131-0
• Softcover reprint of the original 1st ed. 1975
• Seitenzahl: 512
• Erscheinungstermin: 11. März 1975
• Deutsch, Englisch
• Abmessung: 279mm x 210mm x 28mm
• Gewicht: 717g
• ISBN-13: 9783540071310
• ISBN-10: 3540071318
• Artikelnr.: 23145103

Inhaltsangabe

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.