Bメソッドと支援ツール(ソフトウェア紹介,<小特集>先端ソフトウェアツール)
スポンサーリンク
概要
- 論文の詳細を見る
- 一般社団法人日本ソフトウェア科学会の論文
- 2007-04-24
著者
関連論文
- Event-Bデザインのモデル検査における抽象化(モデル表記・モデル検査)
- Event-Bデザインのモデル検査における抽象化(モデル表記・モデル検査)
- 仕様記述言語Zと証明環境Isabelle/HOL-Z(ソフトウェア紹介,先端ソフトウェアツール)
- ポリシに基づくWebサービス・コミュニティ連合のモデル(オブジェクト指向とWeb技術)
- 形式仕様言語CafeOBJを用いたテキストエディタの仕様記述
- Bメソッドと支援ツール(ソフトウェア紹介,先端ソフトウェアツール)