  |
Object-Z Page - 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 support, publications, book reference. |
  |
http://www-lsr.imag.fr/zb2002/ - 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 International Conference on the B Method. Proceedings, Tutorials and Education Session, RCS'02 Workshop. |
  |
Community Z Tools Initiative: CZT - http://www.comlab.ox.ac.uk/people/andrew.martin/CZT/
Proposed to Z community, now under discussion. Mail list archive, proposals, comments, responses. |
  |
http://theoretica.informatik.uni-oldenburg.de/~moby/ - 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, allows structured development via hierarchy concepts, handles many text formats. |
  |
TCOZ Page - 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 to control complexity. Description, publications, book list. |
  |
A Comparison of Z and VDM with B/AMN - 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, UK. |
  |
http://www-lsr.imag.fr/Les.Groupes/pfl/RoZ/ - 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 in Z, Object-Z. Descriptions, downloads, documents, list of papers, links. |
  |
Standard for Z Notation - http://www.comlab.ox.ac.uk/people/andrew.martin/zstandards/
International Z Notation standardization effort finished in 2002 and yielded The ISO/IEC Z Standard. Brief description, links to ISO, panel members, meeting minutes, FAQ, committee drafts. |
 |
Z Family on the Web with Their UML Photos - 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 Singapore. January, 2001; as postcript, and pdf files. |
 |
Combination and Implementation of Processes and Data: from CSP-OZ to Java - http://csd.informatik.uni-oldenburg.de/~wehrheim/Eatcs.ps
Ph.D. thesis, University of Oldenburg, 2000. PostScript file. |