Z Programming Language in the Best of the Web Directory

Z Programming Language

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.

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.

Timed Communicating Object Z

Provides resources and details about an integration of Object-Z and Timed CSP.

Z User Group

Advocates for use and improvisation of the Z notation language.

Submit a site to this category