|
This category holds links to books on the Z formal specification language.
|
|
|
1. |
Formal Specification and Documentation using Z: A Case Study Approach
-
By Jonathan Bowen; International Thomson Publishing, 1996, ISBN 1850322309. Textbook presents use of formal methods via case study series. Contents, foreword, preface, ordering, review extract. [World Wide Web Virtual Library]
|
|
|
2. |
Introduction to Formal Specification and Z
-
By Ben Potter, Jane Sinclair, David Till; Prentice Hall PTR, 1997, ISBN 0132422077, 2nd edition. For developers; Z notation can greatly improve the way software systems are modeled, implemented; investigate specifications before construction. [Prentice Hall]
|
|
|
3. |
Object Orientation in Z
-
Edited by Susan Stepney, Rosalind Barden, David Cooper; Springer-Verlag, 1992, ISBN 3540197788. Set of papers showing many ways to add OO concepts and structuring to Z. Each shows same problems, for comparing. [University of York]
|
|
|
4. |
The Object-Z Specification Language
-
By Graeme Smith; Kluwer Academic Publishers, 2000, ISBN 0792386841. Textbook or reference, fully describes topic: semantics, defines all constructs, type and usage rules, specification guidelines, full syntax. [University of Queensland]
|
|
|
5. |
The Way of Z: Practical Programming with Formal Methods
-
By Jonathan Jacky; Cambridge University Press, 1997, ISBN 0521559766. Tutorial for experienced professionals, serious students of programming, software engineering, case studies focusing safety-critical systems. [Cambridge University Press]
|
|
|
6. |
Understanding Z: A Specification Language and its Formal Semantics
-
By J.M. Spivey; Cambridge University Press, 1988, ISBN 0521334292. Compares Z to other methods (VDM, CLEAR), last chapter has studies in Z style showing Z can be used in a variety of specification tasks. [Cambridge University Press]
|
|
|
7. |
Amazon.com: Z Programming
NEW!
-
Lists books for sale on the topic of Z programming. Includes descriptions of individual books, reviews and purchase information.
|
|
|
8. |
The Object-Z Specification Language
NEW!
-
Book by Graeme Smith (1999). Description, table of contents, link to book series.
|
|
|
9. |
The Way of Z: Practical Programming with Formal Methods
NEW!
-
By Jonathan Jacky; Cambridge University Press, 1997, ISBN 0521559766. Introduces formal methods (FM) via Z, case studies, tutorial, glossary. [University of Washington]
|
|
|
10. |
The Z Notation: A Reference Manual
NEW!
-
J. Mike Spivey; Prentice Hall, International Series in Computer Science, 1988, 1992, 2001, ISBN 0139785299. Standard reference work for Z. Description, free downloads: PostScript, PDF, LaTeX. [University of Oxford]
|
|
|
11. |
Using Z: Specification, Refinement, and Proof
-
By Jim Woodcock, Jim Davies; Prentice Hall, 1996, ISBN 0139484728. Treats formal techniques and methods for software engineering via Z. Full text, slides, exercises, solutions, cards, contents. [University of Oxford, Online]
|
|
|
