Community Z Tools
From Infogalactic: the planetary knowledge core
The CZT Community Z Tools (CZT) project is 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 in 2001. "To establish an internet-based community project to build a framework for Z tool integration and ultimately numerous plug-in tools."[AM2001]
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)
- AM2001 Proposal
<templatestyles src="Asbox/styles.css"></templatestyles>
 |
This programming-tool-related article is a stub. You can help Wikipedia by expanding it. |
