B コンパイラは B モデルを解析し、構文解析とセマンティック分析を実行できるツールです。また、B モデル (相互参照、コード ジェネレーター、ドキュメント ジェネレーターなど) を操作するアプリケーションにリンクされたライブラリとしても使用できます。
バージョン履歴
- バージョン bcomp%20source%2019.05.2009 に転記 2009-05-19
いくつかの修正と更新 - バージョン bcomp source 19.05.2009 に転記 2009-05-19
プログラムの詳細
- カテゴリ: 開発 > 他
- パブリッシャー: www.tools.clearsy.com/index.php5?title=B-Compiler_Project
- ライセンス: 無料
- 価格: N/A
- バージョン: 19.05.2009
- プラットフォーム: linux