 | jtlv.開発のための統一された枠組みを容易にしそして提供することを目的とした新しいツール |
| 今すぐダウンロード | |
jtlv. ランキングとまとめ
広告
jtlv. タグ
jtlv. 説明
開発のためのUnified Frameworkを容易にし提供することを目的とした新しいツール JTLVは純粋なJavaユーザーAPIを提供しますが、BDDSを使用しても派生した指数関数的な複雑さは実際にCで実装され、JNIを介してCライブラリーからアクセスされます（すべての基礎となるBDD実装はユーザーには見えません）。そして、最も単純な新しい正式なアルゴリズムでさえも実装して、開発者は彼が彼女または彼のアルゴリズムを実装しているシステム全体を完全に認識しなければなりません。それが十分でないように、正式な分野の性質から、ほとんどのシステムは非常に低いレベルのCコードで実装されています。これは、このようなアルゴリズムが指数関数的に複雑になるためです。使用されるBDDパッケージは、事前実行中、または実行時に動的に設定できます。 BDDインタフェース全体はすべてJavaBDDプロジェクトのおかげで選択されたBDDライブラリを使用しています.JTLVはデザインモジュールを構築し続けます。現在、設計モジュールは、SMVフォーマット、またはFDSフォーマットを使用して指定できます（FDSは、このプロジェクトの実現可能性を証明するために最初に実装された有限のステートマシンを指定するためのより単純なフォーマットです）。両方のパーサーはANTLR V3を使用して書かれていました。 SMVパーサーもエディタに接続されています。これは、Eclipseが提供できる素敵な施設を使用することができます（まだこの分野でもっとたくさんあります）。その一方で、アルゴリズム設計者は仕様ファイル（SPC）をロードすることができます。 JTLVはほとんどすべての既知の時間仕様フォーマットをサポートしています。 SPCパーサーはエディーとしてもEclipseに接続されています。また、Eclipseが提供できる素敵な施設に接続されています。要件： ・Java.
jtlv. 関連ソフトウェア
