情報
トップエスイー実践講座 第1巻
Bメソッドによる形式仕様記述
仕様の段階で誤りをなくす注目の手法「Bメソッド」を実践活用するための解説書。安心安全を含めてますます高度な機能や性能が要求されるソフトウェアシステムの開発において、厳密な仕様記述を基に開発を行う形式手法に対する関心と期待が高まっている。本書は、我が国初のBメソッドの書き下ろし入門書である。実際の開発への適用を意識した実用指向の内容が、平明でわかりやすく記述されている。
電子書籍¥3,600 小売希望価格(税別)
紙の書籍¥3,600定価(税別)
基本情報
発売日 | 2007年12月27日 |
---|---|
ページ数 | 224 ページ ※印刷物 |
サイズ | B5 変形 |
ISBN | 9784764903470 |
ジャンル | 情報 |
タグ | 要求仕様, ソフトウェア工学 |
電子書籍形式 | 固定型 |
主要目次
第1章 形式手法概論
第2章 形式仕様の作成
第3章 抽象機械
第4章 仕様から実装へのステップ
第5章 リファインメント
第6章 インプリメンテーション
第7章 事例研究
第8章 次のステップ
付録A 演習問題の解答
付録B B言語の記号
付録C Bによる事例研究の記述
第2章 形式仕様の作成
第3章 抽象機械
第4章 仕様から実装へのステップ
第5章 リファインメント
第6章 インプリメンテーション
第7章 事例研究
第8章 次のステップ
付録A 演習問題の解答
付録B B言語の記号
付録C Bによる事例研究の記述