OSDN -- Desenvolver e Download de Software Open Source
Estado tradução de Português translation status for pt

RSS
Download List

Projeto Descrição

CZT is a Java framework and a suite of tools
built on that framework for editing, type
checking, and animating formal specifications
written in the Z specification language. In
addition to the ISO standard, there is some
support for Z extensions, such as Object-Z,
Circus and TCOZ.

System Requirements

System requirement is not defined
Information regarding Project Releases and Project Resources. Note that the information here is a quote from Freecode.com page, and the downloads themselves may not be hosted on OSDN.

2009-07-16 05:52
1.5.0

Melhorias e correções.
Tags: Enhancements, Bugfixes
Enhancements and bugfixes.

2007-07-05 09:41
1.0

O software foi atualizado para 2,1 ZML. Objeto Z e apoio Circus foram adicionados. Verificação Z foi atualizado para refletir correções na norma. Suporte Java 1.5 foi melhorado. Major bugfixes e limpeza de código foram feitos em todos os componentes.
Tags: Major bugfixes
The software was updated to ZML 2.1. Object Z and
Circus support were added. Z checking was updated
to reflect bugfixes in the standard. Java 1.5
support was improved. Major bugfixes and code
cleanups were done in all of the components.

2007-06-15 22:58
0.5

Tags: Initial freshmeat announcement

Project Resources

Project Page Download: Bugtracker Download: bzip2 Download: Log de Alterações Download: CVS Home Page Download: List Download: TGZ Download: zip