A programming approach to formal methods / Chris Casey.
By: Casey, Chris
.
Material type: 
BookSeries: McGraw-Hill international series in software engineering: Publisher: London ; New York : McGraw-Hill Book Co., c1994Description: xii, 262 p. : ill. ; 25 cm.ISBN: 007707968X.Subject(s): Computer programmingDDC classification: 005.131 | Item type | Current library | Call number | Copy number | Status | Barcode | |
|---|---|---|---|---|---|---|
| General lending | MTU Bishopstown Library Lending | 005.131 (Browse shelf(Opens below)) | 1 | Available | 00009982 |
Enhanced descriptions from Syndetics:
This comprehensive text is an investigation into formal methods for program specification and verification. It shows how formal notations can assist the process of developing software and in communicating and expressing ideas. These ideas are illustrated using VDM and Pascal. This work demonstrates in clear language how the principles of formal methods can be applied to any software development.
Includes bibliographical references (page 257) and index.
Software development and quality -- Programming language features -- Key programming concepts -- Simple specifications and rigorous arguments -- Reasoning about programs without loops -- Induction, recursion and loops -- Sets -- Records -- Maps -- Sequences -- Development from formal specifications -- Program design and formal methods -- An example of formal methods -- Other formal specification languages.