OSDN -- Open-Source-Software-Entwicklung und Downloads
Übersetzungsstatus von Deutsch translation status for de

RSS
Downloadliste

Projektbeschreibung

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.

Systemanforderungen

Die Systemvoraussetzungen sind nicht definiert
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

Verbesserungen und Bugfixes.
Tags: Enhancements, Bugfixes
Enhancements and bugfixes.

2007-07-05 09:41
1.0

Die Software wurde auf 2,1 ZML aktualisiert. Objekt-Z und Circus Unterstützung hinzu. Z Überprüfung wurde aktualisiert, um Bugfixes im Standard wiedergeben. Java 1.5-Unterstützung wurde verbessert. Wichtige Bugfixes und Aufräumarbeiten waren in allen Komponenten erfolgen.
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: Änderungsprotokoll Download: CVS Homepage Download: Liste Download: TGZ Download: zip