Event-B : リファインメント・モデリングに基づく形式手法
著者
書誌事項
Event-B : リファインメント・モデリングに基づく形式手法
近代科学社, 2015.2
- タイトル別名
-
EventB : リファインメントモデリングに基づく形式手法
- タイトル読み
-
Event-B : リファインメント・モデリング ニ モトズク ケイシキ シュホウ
大学図書館所蔵 全13件
  青森
  岩手
  宮城
  秋田
  山形
  福島
  茨城
  栃木
  群馬
  埼玉
  千葉
  東京
  神奈川
  新潟
  富山
  石川
  福井
  山梨
  長野
  岐阜
  静岡
  愛知
  三重
  滋賀
  京都
  大阪
  兵庫
  奈良
  和歌山
  鳥取
  島根
  岡山
  広島
  山口
  徳島
  香川
  愛媛
  高知
  福岡
  佐賀
  長崎
  熊本
  大分
  宮崎
  鹿児島
  沖縄
  韓国
  中国
  タイ
  イギリス
  ドイツ
  スイス
  フランス
  ベルギー
  オランダ
  スウェーデン
  ノルウェー
  アメリカ
この図書・雑誌をさがす
注記
参考文献あり
内容説明・目次
内容説明
そもそも形式手法とは、という話題、Event‐Bの基本的な考え方、RODINツールを用いるEvent‐B仕様作成ならびに検証作業の概要、Event‐Bの事例として、図書館システム、組込みシステム分野からの事例として、自動車のドアロックシステムを紹介。最後に発展的な話題を簡単にまとめる。
目次
- 第1章 形式手法とEvent‐B
- 第2章 Event‐B入門
- 第3章 統合ツールRODIN
- 第4章 事例1:図書館システム
- 第5章 事例2:ドアロックシステム
- 第6章 発展的な話題
「BOOKデータベース」 より