Community Z Tools

From Wikipedia, the free encyclopedia

Revision as of 21:03, 22 April 2024 by imported>Jlwoodwa (tag as one source)

(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

Jump to navigation Jump to search

Template:One source 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

Template:Reflist

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)

Template:Programming-software-stub

↑ Script error: No such module "citation/CS1".

Retrieved from "http://debianws.lexgopc.com/wiki143/index.php?title=Community_Z_Tools&oldid=1873932"