The Z Notation: A Reference Manual, Second Edition

Author(s) : J. M. Spivey
Publication date : June 1992
ISBN : 0-139-78529-9
Pages : 158
Publisher : Prentice Hall

Book excerpts:

The Z notation for specifying and designing software has evolved over the best part of a decade, and it is now possible to identify a standard set of notations which, although simple, capture the essential features of the method. This is the aim of this reference manual, and it is written with the everyday needs of readers and writers of Z specications in mind.

This is not a tutorial, for a concise statement of general rules is often given rather than a presentation of illustrative examples; nor is it a formal definition of the notation, for an informal but rigorous style of presentation will be more accessible to Z users, who may not be familiar with the special techniques of formal language definition.

View/Download The Z Notation: A Reference Manual

Formal Specification and Documentation using Z: A Case Study Approach

By Prof. Jonathan Bowen
Centre for Applied Formal Methods, London South Bank University
International Thomson Computer Press (ITCP)
Thomson Publishing
ISBN 1-85032-230-9
Paperbound. 1996
xvii+302 pages
http://www.zuser.org/zbook/