Sponsored Links:
Community Z Tools Initiative: CZT (Popularity:  )
http://web.comlab.ox.ac.uk/oucl/work/andrew.martin/CZT/
Proposed to Z community, now under discussion. Mail list archive, proposals, comments, responses.
|
Object-Z Page (Popularity: )
http://www.itee.uq.edu.au/~smith/objectz.html
Object-oriented extension of Z formal specification language, developed by research team at University of Queensland. Brief description, links, FAQ, tool ...
|
TCOZ Page (Popularity: )
http://www.comp.nus.edu.sg/~dongjs/tcoz.html
Timed Communicating Object-Z integrates Object-Z and Timed CSP, for modeling state, concurrent events, real-time behavior, and structuring and decomposing systems ...
|
Z Family on the Web with Their UML Photos (Popularity: )
http://nt-appn.comp.nus.edu.sg/fm/zml/TRA1-01.pdf
Treats building lightweight tools such as Web browser systems for formal specifications and methods. School of Computing, National University of ...
|
ZB2002 (Popularity: )
http://www-lsr.imag.fr/zb2002/
The 2nd International Z and B Conference, Grenoble, France, 23-25 January 2002. The 13th International Z User Meeting, The 4th ...
|
RoZ (Popularity: )
http://www-lsr.imag.fr/Les.Groupes/pfl/RoZ/
Named after Rosetta stone. Gives formal Z specification from annotated UML diagram, integrates data specification in UML with formal annotation ...
|
A Comparison of Z and VDM with B/AMN (Popularity: )
http://www.b-core.com/ZVdmB.html
Compares Z, Vienna Development Method (VDM), and Abstract Machine Notation (AMN) of B-Method; favors AMN. Descriptions, code samples. By B-Core, ...
|
MOBY (Popularity: )
http://theoretica.informatik.uni-oldenburg.de/~moby/
Official page. C++ class library, basis of three tools: Moby/PLC, Moby/SDL, and Moby/OZ graphical editor to build specifications in Z/Object-Z, ...
|
Combination and Implementation of Processes and Data: from CSP-OZ to Java (Popularity: )
http://semantik.informatik.uni-oldenburg.de/~wehrheim/Eatcs.ps
Ph.D. thesis, University of Oldenburg, 2000. PostScript file.
|
The Way of Z: Practical Programming with Formal Methods (Popularity: )
http://www.radonc.washington.edu/prostaff/jon/z-book/
By Jonathan Jacky; Cambridge University Press, 1997, ISBN 0521559766. Introduces formal methods (FM) via Z, case studies, tutorial, glossary. [University ...
|
The Z Notation: A Reference Manual (Popularity: )
http://spivey.oriel.ox.ac.uk/~mike/zrm/
J. Mike Spivey; Prentice Hall, International Series in Computer Science, 1988, 1992, 2001, ISBN 0139785299. Standard reference work for Z. ...
|
Z: An Introduction to Formal Methods (Popularity: )
http://www.amazon.com/exec/obidos/ASIN/0471939730
By Antoni Diller; John Wiley & Sons, 1994, ISBN 0471939730, 2nd edition. Thorough tutorial introduction to Z via standard notation, ...
|
Z in Practice (Popularity: )
http://www.amazon.com/exec/obidos/ASIN/0131249347
By Rosalind Barden, Susan Stepney, David Cooper, Susan Stephey; Prentice Hall, 1995, ISBN 0131249347. For those knowing basics of Z ...
|
An Introduction to Formal Specification With Z and Vdm (Popularity: )
http://www.amazon.com/exec/obidos/ASIN/0077079078
By Deri Sheppard; McGraw Hill Book Co.; 1994, ISBN 0077079078. Introduces Formal Methods (FM) via Z and Vdm. [Amazon.com]
|
Introduction to Formal Specification and Z (Popularity: )
http://vig.prenhall.com/catalog/academic/product/1,4096,0132422077,00.html
By Ben Potter, Jane Sinclair, David Till; Prentice Hall PTR, 1997, ISBN 0132422077, 2nd edition. For developers; Z notation can ...
|
Introduction to Formal Specification and Z (Popularity: )
http://www.amazon.com/exec/obidos/ASIN/0132422077
[Amazon.com]
|
Understanding Z: A Specification Language and its Formal Semantics (Popularity: )
http://www.amazon.com/exec/obidos/ASIN/0521334292
Purchase source, related topics. [Amazon.com]
|
The Way of Z: Practical Programming with Formal Methods (Popularity: )
http://www.amazon.com/exec/obidos/ASIN/0521550416
[Amazon.com]
|
Object Orientation in Z (Popularity: )
http://www-users.cs.york.ac.uk/~susan/bib/ss/ooz/index.htm
Edited by Susan Stepney, Rosalind Barden, David Cooper; Springer-Verlag, 1992, ISBN 3540197788. Set of papers showing many ways to add ...
|
Object Orientation in Z (Popularity: )
http://www.amazon.com/exec/obidos/ASIN/0387197788
Purchase source, related topics. [Amazon.com]
|
