The Z Notation: A Reference Manual, Second Edition

The Z Notation: A Reference Manual, Second Edition

A reference manual for the Z Notation, a formal specification notation used for specifying and designing softwares.

Publication date: 01 Jun 1992

ISBN-10: 0139785299

ISBN-13: 9780139785290

Paperback: 158 pages

Views: 21,122

Type: N/A

Publisher: Prentice Hall

License: n/a

Post time: 25 Oct 2004 06:15:16

The Z Notation: A Reference Manual, Second Edition

The Z Notation: A Reference Manual, Second Edition A reference manual for the Z Notation, a formal specification notation used for specifying and designing softwares.
Tag(s): Formal Methods
Publication date: 01 Jun 1992
ISBN-10: 0139785299
ISBN-13: 9780139785290
Paperback: 158 pages
Views: 21,122
Document Type: N/A
Publisher: Prentice Hall
License: n/a
Post time: 25 Oct 2004 06:15:16
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.
 




About The Author(s)


Mike Spivey is a University Lecturer in Computation at the Oxford University Department of Computer Science and Misys and Anderson Fellow of Computer Science at Oriel College, Oxford. His main areas of research interest are compilers and programming languages, especially logic programming. He wrote an Oberon-2 compiler.

J. Michael Spivey

Mike Spivey is a University Lecturer in Computation at the Oxford University Department of Computer Science and Misys and Anderson Fellow of Computer Science at Oriel College, Oxford. His main areas of research interest are compilers and programming languages, especially logic programming. He wrote an Oberon-2 compiler.


Book Categories
Sponsors