Programming methodology : 4th Informatik Symposium, IBM Germany, Wildbad, September 25-27, 1974
著者
書誌事項
Programming methodology : 4th Informatik Symposium, IBM Germany, Wildbad, September 25-27, 1974
（Lecture notes in computer science, 23）
Springer-Verlag, 1975
- : gw
- : us
大学図書館所蔵 件 / 全41件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
"Sponsored by IBM Germany and the IBM World Trade Corporation."
English or German
Includes bibliographies and index
内容説明・目次
内容説明
With contributions by numerous experts
目次
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」 より