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.

2007-07-05 09:41 Zurück zur Release-Liste
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.

Project Resources

Project Page Download: Bugtracker Download: bzip2 Download: Änderungsprotokoll Download: CVS Homepage Download: Liste Download: TGZ Download: zip