Programming methodology : 4th Informatik Symposium, IBM Germany, Wildbad, September 25-27, 1974
Uloženo v:
| Korporativní autor: | |
|---|---|
| Další autoři: | |
| Médium: | Livre numérique |
| Jazyk: | Anglais |
| Vydáno: |
Berlin [etc.] :
Springer
2005.
Cham : Springer Nature |
| Edice: | Lecture notes in computer science
23 |
| Témata: | |
| On-line přístup: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Poznámka: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Programming methodology, 4th Informatik Symposium, IBM Germany, Wildbad, September 25-27, 1974, edited by Clemens E. Hackl, 1975, Berlin, Springer-Verlag, 1 vol. (VI-501 p.), Lecture notes in computer science, 0-387-07131-8 • Programming in Methodology, Texte imprimé, 9783662206515 |
Obsah:
- 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.