Skip to main content
SpringerLink
Log in
Book cover
  • Textbook
  • © 1991

Formal Specification Using Z

Authors:

  1. David Lightfoot

    1. School of Computing and Mathematical Sciences, Oxford Polytechnic, UK

    View author publications

    You can also search for this author in PubMed   Google Scholar

Part of the book series: Computer Science Series (COMPSS)

Sections

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (14 chapters)

  1. Front Matter

    Pages i-xi
    PDF

  2. Introduction

    • David Lightfoot
    Pages 1-7

  3. Sets in Z

    • David Lightfoot
    Pages 8-22

  5. Logic: propositional calculus

    • David Lightfoot
    Pages 28-36

  6. The example extended

    • David Lightfoot
    Pages 37-38

  7. Schemas

    • David Lightfoot
    Pages 39-55

  8. An example of a Z specification document

    • David Lightfoot
    Pages 56-60

  9. Logic: predicate calculus

    • David Lightfoot
    Pages 61-68

  10. Relations

    • David Lightfoot
    Pages 69-84

  11. Functions

    • David Lightfoot
    Pages 85-95

  12. A Seat Allocation System

    • David Lightfoot
    Pages 96-99

  13. Sequences

    • David Lightfoot
    Pages 100-114

  15. Extending a specification

    • David Lightfoot
    Pages 119-126

  16. Back Matter

    Pages 127-164
    PDF
Back to top

About this book

Covers the main areas of formal specification in Z at an introductory level. The explanations of the mathematics of Z are interleaved with the development of an example specification. Exercises are included throughout and sample solutions are provided.
Back to top

Keywords

Back to top

Authors and Affiliations

  • School of Computing and Mathematical Sciences, Oxford Polytechnic, UK

    David Lightfoot

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Search

Navigation