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.

  • 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.

  • 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