Bメソッドによる形式仕様記述 : ソフトウェアシステムのモデル化とその検証
著者
書誌事項
Bメソッドによる形式仕様記述 : ソフトウェアシステムのモデル化とその検証
（トップエスイー実践講座, 1）
近代科学社, 2007.12
- タイトル別名
-
Software development with B
Bメソッドによる形式仕様記述 : ソフトウェアシステムのモデル化とその検証
- タイトル読み
-
B メソッド ニ ヨル ケイシキ シヨウ キジュツ : ソフトウェア システム ノ モデルカ ト ソノ ケンショウ
電子リソースにアクセスする 全1件
大学図書館所蔵 全48件
この図書・雑誌をさがす
注記
参考文献: p167-169
監修: 中島震
内容説明・目次
内容説明
日本初！待望のＢメソッド解説書。実際の開発への適用を意識した実用指向の内容で、形式手法の理解と習得に格好の書。
目次
- 第１章 形式手法概論
- 第２章 形式仕様の作成
- 第３章 抽象機械
- 第４章 仕様から実装へのステップ
- 第５章 リファインメント
- 第６章 インプリメンテーション
- 第７章 事例研究
- 第８章 次のステップ
- 付録
「BOOKデータベース」 より