| vdmj. VDM-SL、VDM ++およびVDM-RTのサポートを備えた開発アプリケーション。 |
今すぐダウンロード |
vdmj. ランキングとまとめ
vdmj. タグ
vdmj. 説明
VDMJは、Javaで書かれたVDM-SL、VDM ++およびVDM-RT仕様言語をサポートする基本的なツールを提供するように特別に設計された便利な、使いやすいツールです。 パーサー、タイプチェッカー、インタプリタ、デバッガ、証明義務発電機が含まれます。 それは序曲Eclipseプロジェクトによって使用されます。 主な特徴: 解析、入力、実行、デバッグVDM仕様 証明義務を生成する テストの詳細なコードカバレッジを生成する コンビナトリアルテストを実行する 3つのVDM方言すべてのサポート 仕様の国際文字セットのサポート 外部ライブラリとリモコンのサポート
vdmj. 関連ソフトウェア