Jump to content

Community Z Tools

Add links
From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by InternetArchiveBot (talk | contribs) at 14:10, 11 August 2017 (Rescuing 1 sources and tagging 0 as dead. #IABot (v1.5beta)). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

The Community Z Tools (CZT) initiative is based around a SourceForge project to build a set of tools for the Z notation, a formal method useful in software engineering. Tools include support for editing, typechecking and animating Z specifications. There is some support for extensions such as Object-Z and TCOZ. The tools are built using the Java programming language.

CZT was proposed by Andrew Martin of Oxford University in 2001.[1]

References

  1. ^ Template:Cite article
Stub icon

This programming-tool-related article is a stub. You can help Wikipedia by expanding it.

Retrieved from "https://en.wikipedia.org/w/index.php?title=Community_Z_Tools&oldid=795020482"