Using Z - Slides

These slides are intended for use with the book Using Z by Jim Woodcock and Jim Davies, published by Prentice-Hall (ISBN number 0-13-948472-8).

To move to the next slide, click on the slide image. To move to any other slide, use the menu at the bottom of the page. To return to this page, click on the topic name or select 0.

  1. Introduction
  2. Propositional Logic
  3. Predicate Logic
  4. Equality and Definite Description
  5. Sets
  6. Definitions
  7. Relations
  8. Functions
  9. Sequences
  10. Free Types
  11. Schemas
  12. Schema Operators
  1. Promotion
  2. Preconditions
  3. A File System
  4. Data Refinement
  5. Data Refinement and Schemas
  6. Functional Refinement
  7. Refinement Calculus
  8. A Telecommunications Protocol
  9. An Operating System Scheduler
  10. A Bounded Buffer Module
  11. A Save Area
The latest version of these slides is available from the slides area of our web site.

(c) Jim Davies and Jim Woodcock 1997