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

個数:1
紙書籍版価格 ¥4,104
  • Kinoppy
  • ポイントキャンペーン

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

  • 著者名:中島震/來間啓伸
  • 価格 ¥3,693(本体¥3,420)
  • 近代科学社(2016/03発売)
  • 【Kinoppy】近代科学社 全点ポイント50倍キャンペーン実施中!(~5/7)1-1
  • ポイント 1,700pt (実際に付与されるポイントはお支払い画面でご確認下さい)

ファイル: /

内容説明

論理的なバグを発生させない形式手法!! Event-Bはパリ地下鉄、ニューヨーク地下鉄、バルセロナ地下鉄などの無人運転を成功に導いたJ.R.アブリエル氏が考案した新しい形式仕様言語である。本書では入門書として実際に利用するための仕様構築統合環境のRODINプラットホームを使って解説する。具体的な事例として図書館、自動車のドアロック・システムを紹介している。

目次

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