Introducing specification using Z : a practical case study approach / Bryan Ratcliff.
By: Ratcliff, B
.
Material type: 
BookSeries: McGraw-Hill international series in software engineering: Publisher: London ; New York : McGraw-Hill, c1994Description: xii, 308 p. : ill. ; 25 cm.ISBN: 0077079655 .Subject(s): Z (Computer program language)DDC classification: 005.12 | Item type | Current library | Call number | Copy number | Status | Barcode | |
|---|---|---|---|---|---|---|
| General lending | MTU Bishopstown Library Lending | 005.12 (Browse shelf(Opens below)) | 1 | Available | 00009516 | |
| General lending | MTU Bishopstown Library Lending | 005.12 (Browse shelf(Opens below)) | 1 | Available | 00013778 |
Enhanced descriptions from Syndetics:
Offering an introduction to formal specification using the Z notation, this practical text makes use of a series of case studies, of varying complexity, to illustrate the construction of good specifications in Z. These case studies serve to describe the most frequently used features of Z, the relevant discrete mathematics and the various techniques used. The text also includes an introduction to specification validation, theorem proving and refinement. The importance of formal methods within software engineering is stressed throughout and there are a large number of exercises with solutions.
Includes bibliographical references (pages 257-258) and indexes.
Software Engineering: Why formal methods? -- Aspects of specification: Formalization and Abstraction -- The Digital Watch: Fundamentals of specification using Z -- Predicate logic: A language for description -- The van hire system (Part I): From real world to state model -- The van hire system (Part II): From state model to operations -- Supporting system description: Constructing data types -- The online monitor: Structuring a non-trivial specification -- After specification: What else?