D. John Cooke

Constructing Correct Software (eBook, PDF)

• Format: PDF

Produktbeschreibung

Links constructive software development to traditional problem-solving methods

Not dependent on any particular specification language, but is based instead on their common core

---

Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.

Produktdetails

• Verlag: Springer-Verlag GmbH
• Seitenzahl: 509
• Erscheinungstermin: 31. Dezember 2007
• Englisch
• ISBN-13: 9781846280795
• Artikelnr.: 44133825

Autorenporträt

John Cooke, Loughborough University, Leicester, UK

Inhaltsangabe

Preliminaries.- The Technical Background.- On Programming.- Fundamentals.- Algorithm Extraction.- Recursion Removal.- Quantifications.- Refinement and Re-use.- Developments.- Sorting.- Data Refinement.- Sorting Revisited.- Failures and Fixes.- Further Examples.- On Interactive Software.