Skip to main content
SpringerLink
Log in

Formal Specification Using Z

  • Textbook
  • © 1991

Overview

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)

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

Access this book

Log in via an institution

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (14 chapters)

  1. Front Matter

    Pages i-xi
    Download chapter PDF

  2. Introduction

    • David Lightfoot
    Pages 1-7

  3. Sets in Z

    • David Lightfoot
    Pages 8-22

  4. Using sets to describe a system — a simple example

    • David Lightfoot
    Pages 23-27

  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

  14. An example of sequences — the aircraft example again

    • David Lightfoot
    Pages 115-118

  15. Extending a specification

    • David Lightfoot
    Pages 119-126

  16. Back Matter

    Pages 127-164
    Download chapter PDF
Back to top

Keywords

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.

Authors and Affiliations

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

    David Lightfoot

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation