Results 1 to 1 of 1
Thread: Community Z Tools 1.0
- 07-05-2007, 12:14 PM #1
Community Z Tools 1.0
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.
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.
URL: CZT - Welcome to CZT
- By mew in forum Advanced JavaReplies: 0Last Post: 01-25-2008, 07:26 PM
- By mew in forum Advanced JavaReplies: 1Last Post: 01-20-2008, 08:51 AM
- By levent in forum Java SoftwareReplies: 0Last Post: 07-27-2007, 01:15 PM
- By JavaBean in forum Java SoftwareReplies: 0Last Post: 07-10-2007, 09:42 AM
- By levent in forum Java SoftwareReplies: 0Last Post: 05-13-2007, 03:43 PM