Vor Ort
Merkzettel Warenkorb
Produktbild: Programming Methodology
- 20%

Programming Methodology A Collection of Articles by Members of IFIP WG2.3

Aus der Reihe Monographs in Computer Science
20% sparen

74,99 € UVP 93,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

01.12.1978

Herausgeber

David Gries

Verlag

Springer New York

Seitenzahl

437

Gewicht

950 g

Auflage

1978.

Sprache

Englisch

ISBN

978-0-387-90329-3

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

01.12.1978

Herausgeber

David Gries

Verlag

Springer New York

Seitenzahl

437

Gewicht

950 g

Auflage

1978.

Sprache

Englisch

ISBN

978-0-387-90329-3

Herstelleradresse

Springer Heidelberg
Tiergartenstr. 17
69121 Heidelberg
DE
buchhandel-buch@springer.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Programming Methodology
  • A History of WG2.3.- I: Viewpoints on Programming.- 1. The humble programmer.- 2. Software engineering.- 3. Software engineering—some principles and problems.- 4. The engineering of software: a startling contradiction.- 5. Programs, cities, students—limits to growth?.- 6. On structured programming.- II: The Concern for Program Correctness.- 7. Correctness concerns and, among other things, why they are resented.- 8. An axiomatic basis for computer programming.- 9. Proof of a program: FIND.- 10. An approach to correctness proofs for semicoroutines.- 11. An axiomatic proof technique for parallel programs.- 12. Programming with transition diagrams.- 13. Guarded commands, nondeterminacy, and formal derivation of programs.- 14. A system which automatically improves programs.- III: Harnessing Parallelism.- 15. Towards a theory of parallel programming.- 16. Structured multiprogramming.- 17. Monitors: an operating system structuring concept.- 18. The programming language Concurrent Pascal.- IV: Data Types.- 19. Proof of correctness of data representations.- 20. The algebraic specification of abstract data types.- 21. User-defined types and procedural data structures as complementary approaches to data abstraction.- V: Software Development.- 22. Program development by stepwise refinement.- 23. On a “buzzword”: hierarchical structure.- 24. On the design and development of program families.- 25. System structure for software fault tolerance.- 26. Structured analysis (SA): a language for communicating ideas.- References.