Formal Specification Using Z
David Lightfoot · 1991
Preface Introduction Sets Using Sets to Describe a System - a Simple Example Logic The Example Extended Schemas Example of a Z Specification Documents Predicates and Quantifiers Relations Functions A Seat Allocation System Sequences An Example of Sequences - The Aircraft Example Again Extending a Specification Hints on Creating Specifications Example Specifications Appendix 1: Collected Notation Appendix 2: Solutions to the Exercises