Jump to content

Community Z Tools

Add links
From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by Citation bot (talk | contribs) at 07:03, 22 October 2020 (Alter: template type. | You can use this bot yourself. Report bugs here. | Suggested by AManWithNoPlan | All pages linked from cached copy of User:AManWithNoPlan/sandbox3 | via #UCB_webform_linked 1438/3258). 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. ^ Martin, Andrew (25 September 2001). "Proposal: Community Z Tools Project (CZT)". UK: University of Oxford.

External links

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=984810064"