| Directory > Computers > Programming > Languages > Z > Books The Object-Z Specification Language
Description, contents, link to book series. [Kluwer Academic Publishers]
http://www.wkap.nl/prod/b/0-7923-8684-1
Reviews Rating: Not yet Rated
Whois Check
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]
http://www.itee.uq.edu.au/~smith/book.html
Reviews Rating: Not yet Rated
Whois Check
Object Orientation in Z
Purchase source, related topics. [Amazon.com]
http://www.amazon.com/exec/obidos/ASIN/0387197788
Reviews Rating: Not yet Rated
Whois Check
Object Orientation in Z
Description, related books and topics. [Springer-Verlag]
http://www.springer-ny.com/detail.tpl?isbn=0387197788
Reviews Rating: Not yet Rated
Whois Check
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]
http://www-users.cs.york.ac.uk/~susan/bib/ss/ooz/index.htm
Reviews Rating: Not yet Rated
Whois Check
The Way of Z: Practical Programming with Formal Methods
[Amazon.com]
http://www.amazon.com/exec/obidos/ASIN/0521550416
Reviews Rating: Not yet Rated
Whois Check
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]
http://titles.cambridge.org/catalogue.asp?isbn=0521559766
Reviews Rating: Not yet Rated
Whois Check
Understanding Z: A Specification Language and its Formal Semantics
Purchase source, related topics. [Amazon.com]
http://www.amazon.com/exec/obidos/ASIN/0521334292
Reviews Rating: Not yet Rated
Whois Check
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]
http://titles.cambridge.org/catalogue.asp?isbn=0521334292
Reviews Rating: Not yet Rated
Whois Check
Introduction to Formal Specification and Z
[Amazon.com]
http://www.amazon.com/exec/obidos/ASIN/0132422077
Reviews Rating: Not yet Rated
Whois Check
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]
http://vig.prenhall.com/catalog/academic/product/1,4096,0132422077,00.html
Reviews Rating: Not yet Rated
Whois Check
An Introduction to Formal Specification With Z and Vdm
By Deri Sheppard; McGraw Hill Book Co.; 1994, ISBN 0077079078. Introduces Formal Methods (FM) via Z
and Vdm. [Amazon.com]
http://www.amazon.com/exec/obidos/ASIN/0077079078
Reviews Rating: Not yet Rated
Whois Check
Z in Practice
By Rosalind Barden, Susan Stepney, David Cooper, Susan Stephey; Prentice Hall, 1995, ISBN
0131249347. For those knowing basics of Z or other model-oriented formal specification language,
case studies of real projects. [Amazon.com]
http://www.amazon.com/exec/obidos/ASIN/0131249347
Reviews Rating: Not yet Rated
Whois Check
Z: An Introduction to Formal Methods
By Antoni Diller; John Wiley & Sons, 1994, ISBN 0471939730, 2nd edition. Thorough tutorial
introduction to Z via standard notation, case studies to illustrate all aspects, practical
exercises. [Amazon.com]
http://www.amazon.com/exec/obidos/ASIN/0471939730
Reviews Rating: Not yet Rated
Whois Check
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]
http://www.afm.sbu.ac.uk/zbook/
Reviews Rating: Not yet Rated
Whois Check
The Z Notation: A Reference Manual
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]
http://spivey.oriel.ox.ac.uk/~mike/zrm/
Reviews Rating: Not yet Rated
Whois Check
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]
http://softeng.comlab.ox.ac.uk/usingz/
Reviews Rating: Not yet Rated
Whois Check
The Way of Z: Practical Programming with Formal Methods
By Jonathan Jacky; Cambridge University Press, 1997, ISBN 0521559766. Introduces formal methods
(FM) via Z, case studies, tutorial, glossary. [University of Washington]
http://www.radonc.washington.edu/prostaff/jon/z-book/
Reviews Rating: Not yet Rated
Whois Check
|
