- Community Z Tools Initiative
- Details discussions made by a Z programming community. Includes archive lists and contact information.
- Comparison of Z and VDM With B/AMN
- Contains comparison lists on abstract machine notation and Z programming.
- Moby
- Project offers software tool support. Also contains graphical editor tools.
- Object-Z
- Object-oriented extension of the formal specification language called Z. Offers online purchasing of a comprehensive reference book by Graeme Smith.
- Oxford University Computing Laboratory
- Highlights the Z notation’s international standard that is being developed under the support of the International Standards Organization.
- RoZ
- Provides information about the main functionalities of the language. Contains a downloadable free version of the software.
- Timed Communicating Object Z
- Provides resources and details about an integration of Object-Z and Timed CSP.
- ZB2002
- Presents details about the 2nd international Z and B conference organized by the APCB and the Z user group. Proceedings of tutorials and education session available for downloading.
- ZB2003
- Provides information on the conference theme, invited speakers, B, Z and local committees, and conference programme of the 3rd international conference of B and Z users.
|