関連サイト
本書の関連ページが用意されています。
内容紹介
仕様の段階で誤りをなくす注目の手法「Bメソッド」を実践活用するための解説書。安心安全を含めてますます高度な機能や性能が要求されるソフトウェアシステムの開発において、厳密な仕様記述を基に開発を行う形式手法に対する関心と期待が高まっている。本書は、我が国初のBメソッドの書き下ろし入門書である。実際の開発への適用を意識した実用指向の内容が、平明でわかりやすく記述されている。
書誌情報
- 著者: 本位田 真一, 中島 震(監修), 来間 啓伸(著)
- 発行日: 2018-03-23 (紙書籍版発行日: 2007-12-25)
- 最終更新日: 2018-03-23
- バージョン: 1.0.0
- ページ数: 239ページ(PDF版換算)
- 対応フォーマット: PDF, EPUB
- 出版社: 近代科学社
対象読者
Bメソッド,形式手法,ソフトウェア開発,形式仕様,抽象機械,リファインメント,インプリメンテーションに興味がある人
著者について
本位田 真一
1978年 早稲田大学大学院理工学研究科博士前期課程 修了
1978年 株式会社 東芝
現 在 国立情報学研究所 教授・東京大学大学院情報理工学系研究科 教授 工学博士
中島 震
1981 年東京大学大学院理学系研究科修士課程修了
現在 国立情報学研究所教授・総合研究大学院大学教授 学術博士
この間，科学技術振興機構さきがけ研究員（兼任），北陸先端科学技術大学院大学客員教授を歴任．
形式手法，自動検証，ソフトウェア・モデリング，などの研究に従事．
来間 啓伸
1983 年 広島大学大学院理学研究科博士課程前期修了
1984 年 株式会社日立製作所
2006 年 総合研究大学院大学複合科学研究科修了 博士（学術）
現在 株式会社日立製作所システム開発研究所・国立情報学研究所特任教授
ソフトウェア工学の研究に従事．形式手法，コンピュータ・セキュリティ，自律分散システムに興味を持つ．