丸善のおすすめ度
Event‐B~リファインメント・モデリングに基づく形式手法~
|
在庫状況
有り
|
お届け予定日
3~4日
|
|
|
価格
\4,180(税込)
|
|
|
|
発行年月 |
2015年02月 |
---|
|
|
言語 |
日本語 |
---|
媒体 |
冊子 |
---|
|
|
ページ数/巻数 |
10p,161p |
---|
大きさ |
24cm |
---|
|
ジャンル |
和書/理工学/情報学/情報システム・ソフトウェア |
---|
|
|
ISBN |
9784764904248 |
---|
|
商品コード |
1017219337 |
---|
NDC分類 |
007.63 |
---|
基本件名 |
ソフトウェア工学 |
---|
|
本の性格 |
実務向け |
---|
|
新刊案内掲載月 |
2015年04月1週 |
---|
|
商品URL | https://kw.maruzen.co.jp/ims/itemDetail.html?itmCd=1017219337 |
---|
著者紹介
中島 震(著者):国立情報学研究所教授・総合研究大学院大学教授・東京工業大学大学院連携教授。学術博士。
來間 啓伸(著者):株式会社日立製作所横浜研究所研究員。
内容
論理的なバクを発生させない形式手法!!Event-Bは、パリ地下鉄、ニューヨーク地下鉄、バルセロナ地下鉄、ドゴール空港のシャトルの無人運転を成功に導いた、J.R.アブリエル氏が考案した新しい形式仕様言語である。Event-Bは、仕様記述の単位をイベントとし、基礎となる集合論などはBメソッドの考え方を継承する。本書は、Event-Bの入門書である。また実際に利用するための仕様構築統合環境として、RODINプラットホームの利用方法を解説する。具体的に学べるよう図書館の事例や、組込みとして自動車のドアロック・システムを紹介している。形式手法や、形式仕様言語を学ぶ技術者や研究者には最適の書である。