Programming in Methodology

4th Informatik Symposium, IBM Germany Wildbad, September 25–27, 1974

Paperback Engels 1975 9783540071310
Verwachte levertijd ongeveer 9 werkdagen

Samenvatting

With contributions by numerous experts

Specificaties

ISBN13:9783540071310
Taal:Engels
Bindwijze:paperback
Aantal pagina's:502
Uitgever:Springer Berlin Heidelberg
Druk:0

Lezersrecensies

Wees de eerste die een lezersrecensie schrijft!

Inhoudsopgave

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.

Managementboek Top 100

Rubrieken

    Personen

      Trefwoorden

        Programming in Methodology