近代科学社

書籍検索
ジャンル選択

情報

Event-Bリファインメント・モデリングに基づく形式手法

著者 中島 震
著者 來間 啓伸

論理的なバクを発生させない形式手法!!
Event-Bは、パリ地下鉄、ニューヨーク地下鉄、バルセロナ地下鉄、ドゴール空港のシャトルの無人運転を成功に導いた、J.R.アブリエル氏が考案した新しい形式仕様言語である。
Event-Bは、仕様記述の単位をイベントとし、基礎となる集合論などはBメソッドの考え方を継承する。
本書は、Event-Bの入門書である。また実際に利用するための仕様構築統合環境として、RODINプラットホームの利用方法を解説する。具体的に学べるよう図書館の事例や、組込みとして自動車のドアロック・システムを紹介している。
形式手法や、形式仕様言語を学ぶ技術者や研究者には最適の書である。

電子書籍¥3,800 小売希望価格(税別)

紙の書籍¥3,800定価(税別)

基本情報

発売日 2015年2月26日
ページ数 176 ページ ※印刷物
サイズ B5 変形
ISBN 9784764904248
ジャンル 情報
タグ 要求仕様

主要目次

1 形式手法とEvent-B
2 Event-B入門
3 統合ツールRODIN
4 事例1:図書館システム
5 事例2:ドアロックシステム
6 発展的な話題

目次をさらに表示する