Bogor-PubSub は、発行-サブスクライブ インフラストラクチャの正確な自動検証を可能にする Bogor モデル チェッカーの拡張機能のセットです。
バージョン履歴
- バージョン loupe-0.1 に転記 2009-05-06
いくつかの修正と更新 - バージョン loupe-0.1 に転記 2009-05-06
プログラムの詳細
- カテゴリ: 開発 > 他
- パブリッシャー: loupe.sf.net
- ライセンス: 無料
- 価格: N/A
- バージョン: 0.1
- プラットフォーム: windows