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

Sommario

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.

Dettagli sul prodotto

• Con la collaborazione di: E Hackl (Editore), C E Hackl (Editore), C. E. Hackl (Editore), C.E. Hackl (Editore), Clemens E. Hackl (Editore)
• Editore: Springer, Berlin
• Lingue: Inglese, Tedesco
• Formato: Tascabile
• Pubblicazione: 29.06.2009
• EAN: 9783540071310
• ISBN: 978-3-540-07131-0
• Pagine: 502
• Peso: 717 g
• Illustrazioni: VI, 502 p.
• Serie: Lecture Notes in Computer Science; Lecture Notes in Computer Science
• Categoria: Scienze naturali, medicina, informatica, tecnica > Informatica, EDP > Tematiche generali, enciclopedie