| The Z Notation: A Reference Manual, Second Edition |
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. |
ndaru
Site Admin
|
||||||||||||||||
|
|
|||||||||||||||||
| Formal Specification and Documentation using Z: A Case Study Approach |
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/ |
jpbowen
|
||||||||||||
|
_________________ -- Jonathan Bowen www.jpbowen.com |
|||||||||||||
|
Powered by phpBB © phpBB Group
Design by Vjacheslav Trushkin for phpBBStyles.com.
phpBB SEO
Content © FreeTechBooks.com
Design by Vjacheslav Trushkin for phpBBStyles.com.
phpBB SEO
Content © FreeTechBooks.com



