Using Z : specification, refinement, and proof
Using Z contains enough material for three complete courses of study. It provides an introduction to the world of logic, sets and relations. It explains the use of the Z notation in the specification of realistic systems. It shows how Z specifications may be refined to produce executable code; this is demonstrated in a selection of case studies.
ix, 386 pages : illustrations ; 24 cm.
9780139484728, 0139484728
34046380
Introduction
Propositional logic
Predicate logic
Equality and definite description
Sets
Definitions
Relations
Functions
Sequences
Free types
Schemas
Schema operators
Promotion
Preconditions
A file system
Data refinement
Data refinement and schemas
Functional refinement
Refinement calculus
A telecommunications protocol
An operating system scheduler
A bounded buffer module
A save area
Includes index