コミュニティZツール

Community Z Tools ( CZT )イニシアチブは、 SourceForgeプロジェクトを基盤として、ソフトウェアエンジニアリングで有用な形式手法であるZ記法用のツールセットを構築するものです。ツールには、 Z仕様の編集、型チェック、アニメーション化のサポートが含まれています。Object -ZやTCOZなどの拡張機能も一部サポートされています。これらのツールはJavaプログラミング言語を使用して構築されています。

CZTは2001年にオックスフォード大学のアンドリュー・マーティンによって提案されました。 ^[1]

参考文献

1. Martin, Andrew (2001年9月25日). 「提案：コミュニティZツールプロジェクト（CZT）」英国：オックスフォード大学.

外部リンク

• CZT SourceForgeウェブサイト
• アンドリュー・マーティンによるCZTイニシアチブ情報
• Softpedia情報
• CZT: Z ツールのフレームワーク(Petra Malik と Mark Utting 著、 PDF )