Community Z Tools
id:
community-z-tools-197-1066184
title:
Community Z Tools
text:
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.
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Community_Z_Tools
date created:
date modified:
2024-04-22T21:03:30Z
main entity:
{"identifier":"Q5154910","url":"https://www.wikidata.org/entity/Q5154910"}
image:
fields total:
13
integrity:
13