Event-B : リファインメント・モデリングに基づく形式手法
著者
書誌事項
Event-B : リファインメント・モデリングに基づく形式手法
近代科学社, 2015.2
- タイトル別名
-
EventB : リファインメントモデリングに基づく形式手法
- タイトル読み
-
Event-B : リファインメント・モデリング ニ モトズク ケイシキ シュホウ
大学図書館所蔵 件 / 全13件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
参考文献あり
内容説明・目次
内容説明
そもそも形式手法とは、という話題、Ｅｖｅｎｔ‐Ｂの基本的な考え方、ＲＯＤＩＮツールを用いるＥｖｅｎｔ‐Ｂ仕様作成ならびに検証作業の概要、Ｅｖｅｎｔ‐Ｂの事例として、図書館システム、組込みシステム分野からの事例として、自動車のドアロックシステムを紹介。最後に発展的な話題を簡単にまとめる。
目次
- 第１章 形式手法とＥｖｅｎｔ‐Ｂ
- 第２章 Ｅｖｅｎｔ‐Ｂ入門
- 第３章 統合ツールＲＯＤＩＮ
- 第４章 事例１：図書館システム
- 第５章 事例２：ドアロックシステム
- 第６章 発展的な話題
「BOOKデータベース」 より