Programming methodology : 4th Informatik Symposium, IBM Germany, Wildbad, September 25-27, 1974

edited by Clemens E. Hackl

[目次]

  • 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.

「Nielsen BookData」より

この本の情報

書名 Programming methodology : 4th Informatik Symposium, IBM Germany, Wildbad, September 25-27, 1974
著作者等 Hackl, Clemens
IBM Deutschland
IBM World Trade Corporation
Informatik Symposium
Hackl C.E.
シリーズ名 Lecture notes in computer science
出版元 Springer-Verlag
刊行年月 1975
ページ数 vi, 501 p.
大きさ 25 cm
ISBN 0387071318
3540071318
NCID BA07561644
※クリックでCiNii Booksを表示
言語 ドイツ語
英語
出版国 ドイツ
この本を: 
このエントリーをはてなブックマークに追加

このページを印刷

外部サイトで検索

この本と繋がる本を検索

ウィキペディアから連想