Read more
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.
List of contents
- Introduction.
- Propositional Logic.
- Predicate Logic.
- Equality and Definite Description.
- Sets.
- Definitions.
- Relations.
- Functions.
- Sequences.
- Free Types.
- Schemas Schema Operators.
- Promotion, Preconditons.
- Data Refinement.
- Relaxing and Unwinding Data Refinement and Z.
- Applications of Data Refinement.
- The Refinement Calculus.
- A File System.
- A Telecommunications Protocol.
- An Operating System Scheduler: A Bounded Buffer Module.
- An Unordered Set Module.
- A Save Area.
- Solutions to Exercises.
- Appendices.
- Bibliography.
- Index.
Summary
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.
