SPINモデル検査~検証モデリング技法~
中島 震
著
在庫状況
有り
お届け予定日
3~4日
価格
\4,180(税込)
発行年月
2008年04月
出版社/提供元
近代科学社
言語
日本語
媒体
冊子
ページ数/巻数
238p
大きさ
24
ジャンル
和書
ISBN
9784764903531
商品コード
0108031693
NDC分類
007.63
基本件名
ソフトウェア工学
商品URL
https://kw.maruzen.co.jp/ims/itemDetail.html?itmCd=0108031693
著者紹介
中島 震(著者):〈中島震〉東京大学大学院理学系研究科修士課程修了。国立情報学研究所教授・総合研究大学院大学教授。学術博士(東京大学)。形式手法、自動検証、ソフトウェア・モデリングなどの研究に従事。
内容
モデル検査法の自動検証ツールの中で、もっとも実用的なSPINにはじめて触れるソフトウェア技術者向け入門書。前半はPromela/SPINの基本的事項を説明し、後半は適用事例を紹介する。