CZT. 編集のためのツールのセット、タイプチェック、およびタイプチェックおよびアニメーション形式指定言語で書かれた正式な仕様
今すぐダウンロード

CZT. ランキングとまとめ

CZT. タグ

編集 テキストを編集します 文章 un un スペルチェックテキスト ユニコードエディタ

CZT. 説明

Z仕様言語で書かれた正式な仕様書を編集するためのツールのセット Community Z Tools（CZT）プロジェクトは、Z仕様言語で書かれた正式な仕様を編集し、チェックし、テクニカルの仕様を組み立てており、Object-Z、Circus、TCOZなどのz拡張機能をサポートしています。これらのツールはすべてCZT Javaフレームワークを使用して構築されています。これには、NATXのためのUnicodeマークアップのwysiwyg編集、テンプレートベースのzコンストラクトの編集、テンプレートベースのzコンストラクトの挿入、およびUnicodeマークアップ、各Save.cztの自動タイプチェッキングにも含まれています。 z仕様、異なるマークアップ間の変換など。これが「CZT」の重要な機能です。 ・ZのXMLスキーママークアップ ・z注釈付き構文（AST）のJavaクラス。 ・XMLとJava ASTの間で変換するためのJavaクラス。 ・JavaライブラリーごとのZツールごとに必要な一般的な操作のためのJavaライブラリ（Markup-Converters、Parser、Type-Checkerなど）。これらを説明する紙はZB2005に提示されています。 ・グラフィカルZエディタ、特殊Z Unicodeシンボルに簡単に入力できます。現在JeditプラグインとEclipseプラグインを提供しています。 ・カスタマイズ可能なグラフィカルユーザインタフェースを備えたZliveと呼ばれるzアニメーションツール。 ・ツールをエクスポートし、他の表記または他のZツールにzを出力する。 ・Object-Zやサーカスなどのz拡張機能をサポートするためのライブラリとツールの拡張バージョン。 要件： ・Java. このリリースの新機能： ・たくさんの変更と新しいツール。

CZT. 関連ソフトウェア