「honto 本の通販ストア」サービス終了及び外部通販ストア連携開始のお知らせ
詳細はこちらをご確認ください。
- みんなの評価
- あなたの評価 評価して"My本棚"に追加 評価ありがとうございます。×
- カテゴリ:一般
- 発売日:2015/02/26
- 出版社: 近代科学社
- サイズ:24cm/161p
- 利用対象:一般
- ISBN:978-4-7649-0424-8
読割 50
- 国内送料無料
紙の本
Event‐B リファインメント・モデリングに基づく形式手法
形式仕様言語Event‐Bの基本的な考え方や、RODINツールを用いたEvent‐B仕様作成ならびに検証作業の概要を解説。図書館システムとドアロックシステムという2つの事...
Event‐B リファインメント・モデリングに基づく形式手法
Event-B
ワンステップ購入とは ワンステップ購入とは
このセットに含まれる商品
前へ戻る
- 対象はありません
次に進む
商品説明
形式仕様言語Event‐Bの基本的な考え方や、RODINツールを用いたEvent‐B仕様作成ならびに検証作業の概要を解説。図書館システムとドアロックシステムという2つの事例も紹介する。【「TRC MARC」の商品解説】
論理的なバクを発生させない形式手法!!
Event-Bは、パリ地下鉄、ニューヨーク地下鉄、バルセロナ地下鉄、ドゴール空港のシャトルの無人運転を成功に導いた、J.R.アブリエル氏が考案した新しい形式仕様言語である。
Event-Bは、仕様記述の単位をイベントとし、基礎となる集合論などはBメソッドの考え方を継承する。
本書は、Event-Bの入門書である。また実際に利用するための仕様構築統合環境として、RODINプラットホームの利用方法を解説する。具体的に学べるよう図書館の事例や、組込みとして自動車のドアロック・システムを紹介している。
形式手法や、形式仕様言語を学ぶ技術者や研究者には最適の書である。
【商品解説】
目次
- 1 形式手法とEvent-B
- 2 Event-B入門
- 3 統合ツールRODIN
- 4 事例1:図書館システム
- 5 事例2:ドアロックシステム
- 6 発展的な話題
著者紹介
中島 震
- 略歴
- 〈中島震〉国立情報学研究所教授・総合研究大学院大学教授・東京工業大学大学院連携教授。学術博士。
〈來間啓伸〉株式会社日立製作所横浜研究所研究員。
あわせて読みたい本
前へ戻る
- 対象はありません
次に進む
この著者・アーティストの他の商品
前へ戻る
- 対象はありません
次に進む