OSDN -- 開發和下載開源軟體
繁體中文翻譯狀態 translation status for zh-tw

RSS
Download List

專案描述

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

Enhancements and bugfixes.
標籤: Enhancements, Bugfixes

2007-07-05 09:41
1.0

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.
標籤: Major bugfixes

2007-06-15 22:58
0.5

標籤: Initial freshmeat announcement

Project Resources

Project Page 下載: Bugtracker 下載: bzip2 下載: 更動紀錄 下載: CVS 首頁 下載: 列表 下載: TGZ 下載: zip