コミュニティZツール

Z仕様および関連表記法を編集、タイプチェッキング、アニメーション化するためのツール
今すぐダウンロード

コミュニティZツール ランキングとまとめ

広告

  • Rating:
  • ライセンス:
  • GPL
  • 価格:
  • FREE
  • 出版社名:
  • Mark Utting and Petra Malik
  • 出版社のWebサイト:

コミュニティZツール タグ


コミュニティZツール 説明

Z仕様および関連表記法を編集、タイプチェッキング、アニメーション化のためのツール コミュニティZ Tools(CZT)プロジェクトは、z仕様言語で書かれた正式な仕様を編集、タイプチェッキング、およびアニメート化するためのツールのセットを構築しています。これらのツールはすべてCZT Javaフレームワークを使用して構築されています。 Z仕様言語は2002年のISO規格として採用されました。プロジェクトはシステムの要件または行動を正確に指定するために使用できます。しかし、証明、アニメーション、テスト生成などを介してその行動を分析するただし、Z仕様言語の広範な使用に対する最大の障壁の1つがツールサポートの問題であるようです.ManyプロジェクトはZツール、製品品質のいくつかを構築しました。 、ほとんどの学生プロジェクトとして。それらのうちのほとんどが互いに統合されています。すべての新しいISO規格をサポートしていない。開発者が期待しています。 Zパーサーの要求がZ NewsGroupで発生した回数は、多くの人々がツールを作成していることを示唆しています。統合された努力はツールの状態を進めるでしょう、そしてそれによってz.ourの目的の巻き上げは、既存のZツール間の交換(標準XML交換フォーマットを介してZ)と建物のためのオープンソースのライブラリを提供することを奨励することです。新しいZツールを統合する。私たちが建物であるソフトウェアは:1。 Z.このマークアップを説明する紙については、ZB2003手続きを参照してください。 z注釈付き構文ツリー(AST).3のJavaクラス。 XMLとJava AST.4の間で変換するためのJavaクラス。 Javaライブラリーごとに必要な共通操作(マークアップ・コンバーター、パーサー、タイプ・チェッカー、スキーマ拡張など)。これらを説明する紙はZB2005.5に提示されます。特別なz Unicodeシンボルに簡単に入力するための設備を持つ1つ以上の単純なグラフィカルZエディタ。最初はJEDIT.6を使用しています。カスタマイズ可能なグラフィカルユーザーインターフェースを持つ、Zliveというzアニメーションツール。ツールをエクスポートし、他の表記または他のZツールのZを出力するには、ツールを出力します。 (例、HTML出力、LATEX出力、BおよびJMLへの翻訳).8。 Object-ZやTCOZなどのz拡張機能をサポートするためのライブラリとツールの拡張バージョン。このリリースの新機能: ・このリリースは、Z、Object-Z、およびCircusの正式な指定言語のためのツールを含む、現在開発中のすべてのCZTツールのスナップショットです。 ・CZT_1_5_0_BIN.JARはCZTのバイナリリリースです。これは、GUIプログラムまたはコマンドラインプログラムとして使用できます。 例えば: ・1. .jarファイルをクリックしてCZT GUIを開きます。 ・2。またはCZT GUIを開くには、2. を実行します。 ・コマンドラインインターフェイスを使用するには、「Java -JAR CZT_1_5_0_BIN.JAR --HELP」を行います。 ・CZT_1_5_0_ECLIPSE_PLUGIN.ZIPはEclipse 3.4用のCZTプラグインです。インストールするには、この.zipファイルを最上位のEclipseフォルダに解凍するだけです( '機能'と 'プラグインのディレクトリを含むもの)、次にEclipseを再起動します。 ・「ファイル/新/その他... / czt / czt project」コマンドを使用して、新しいCZTプロジェクトを作成し、次に「ファイル/ new / z仕様」を使用してz仕様を作成することができます。 Eclipseの「ヘルプ/ヘルプの内容」ページにはCZTマニュアルがあります。 ・次のCZTフォントもインストールする必要があります。 ・CZTSANS_1_5_0.TTFは、zのためのすべてのUnicode文字を持つビットストリームVeraフォントです。 EclipseとJEDITエディタにZの正しいUnicode文字が表示されるようにシステムにインストールする必要があります。警告:Windowsシステムでは、このフォントによってMicrosoftプログラムがクラッシュする可能性があります。このフォントがシステムにインストールされている場合、Visual Studio Form Designerは不正なメモリアクセスエラーを与えます。 ・CZT_1_5_0_SRC.ZIP SVN情報を含むすべてのCZTソースファイルが含まれています。それをコンパイルするには、JavaとMavenの最近のバージョンが必要です。詳細はinstall.txtファイルを参照してください。


コミュニティZツール 関連ソフトウェア