近代科学社

書籍検索
ジャンル選択

情報

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

目次をさらに表示する

著者紹介

シリーズ監修者

本位田 真一(ほんいでん しんいち)
1978 年 早稲田大学大学院理工学研究科博士前期課程修了
1978 年 株式会社東芝
国立情報学研究所教授・東京大学大学院情報理工学系研究科教授 工学博士


監修者・著者紹介(※は監修者)

中島 震(なかじま しん)(※)
1981年 東京大学大学院理学系研究科修士課程修了
国立情報学研究所教授・総合研究大学院大学教授 学術博士
この間,科学技術振興機構さきがけ研究員(兼任)、北陸先端科学技術大学院大学客員教授を歴任。
形式手法、自動検証、ソフトウェア・モデリング、などの研究に従事。

来間 啓伸(くるま ひろのぶ)
1983年 広島大学大学院理学研究科博士課程前期修了
1984年 株式会社日立製作所
2006年 総合研究大学院大学複合科学研究科修了 博士(学術)
株式会社日立製作所システム開発研究所・国立情報学研究所特任教授、ソフトウェア工学の研究に従事。
形式手法、コンピュータ・セキュリティ、自律分散システムに興味を持つ。

著者紹介をさらに表示する