Misplaced Pages

This article relies largely or entirely on a single source. Relevant discussion may be found on the talk page. Please help improve this article by introducing citations to additional sources. Find sources: "Community Z Tools" – news · newspapers · books · scholar · JSTOR (April 2024)

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.

References

1. Martin, Andrew (25 September 2001). "Proposal: Community Z Tools Project (CZT)". UK: University of Oxford.

External links

• CZT SourceForge website
• CZT initiative information by Andrew Martin
• Softpedia information
• CZT: A Framework for Z Tools by Petra Malik and Mark Utting (PDF)

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

• v
• t
• e

• 2001 establishments in England
• 2001 software
• Z notation
• Research projects
• Free software programmed in Java (programming language)
• Department of Computer Science, University of Oxford
• Computer programming tool stubs