Bメソッドによる形式仕様記述 : ソフトウェアシステムのモデル化とその検証
Author(s)
Bibliographic Information
Bメソッドによる形式仕様記述 : ソフトウェアシステムのモデル化とその検証
(トップエスイー実践講座, 1)
近代科学社, 2007.12
- Other Title
-
Software development with B
Bメソッドによる形式仕様記述 : ソフトウェアシステムのモデル化とその検証
- Title Transcription
-
B メソッド ニ ヨル ケイシキ シヨウ キジュツ : ソフトウェア システム ノ モデルカ ト ソノ ケンショウ
Access to Electronic Resource 1 items
Available at / 48 libraries
-
University of Tsukuba Library, Library on Library and Information Science
007.63-Ku7910007016854
-
No Libraries matched.
- Remove all filters.
Search this Book/Journal
Note
参考文献: p167-169
監修: 中島震
Description and Table of Contents
Description
日本初!待望のBメソッド解説書。実際の開発への適用を意識した実用指向の内容で、形式手法の理解と習得に格好の書。
Table of Contents
- 第1章 形式手法概論
- 第2章 形式仕様の作成
- 第3章 抽象機械
- 第4章 仕様から実装へのステップ
- 第5章 リファインメント
- 第6章 インプリメンテーション
- 第7章 事例研究
- 第8章 次のステップ
- 付録
by "BOOK database"