社区 Z 工具项目 (CZT): 用于编辑、类型检查和为 Z 动画的工具 规格和相关符号。 包括用于构建正式方法工具的 Java 框架。
版本历史记录
- 版本 1_5_0 发布于 2009-02-16
若干修复和更新 - 版本 1_5_0 发布于 2009-02-16
软件信息
- 软件分类: 发展 > 其他
- 发布者: czt.sf.net
- 许可: 免费
- 价格: N/A
- 版本: 1
- 适用平台: linux
社区 Z 工具项目 (CZT): 用于编辑、类型检查和为 Z 动画的工具 规格和相关符号。 包括用于构建正式方法工具的 Java 框架。