近代科学社

書籍検索
ジャンル選択

情報

トップエスイー実践講座 第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による事例研究の記述

目次をさらに表示する