Event-B : リファインメント・モデリングに基づく形式手法
Author(s)
Bibliographic Information
Event-B : リファインメント・モデリングに基づく形式手法
近代科学社, 2015.2
- Other Title
-
EventB : リファインメントモデリングに基づく形式手法
- Title Transcription
-
Event-B : リファインメント・モデリング ニ モトズク ケイシキ シュホウ
Access to Electronic Resource 1 items
Available at / 13 libraries
-
University of Tsukuba Library, Library on Library and Information Science
007.63-N3410015005653
-
No Libraries matched.
- Remove all filters.
Search this Book/Journal
Note
参考文献あり
Description and Table of Contents
Description
そもそも形式手法とは、という話題、Event‐Bの基本的な考え方、RODINツールを用いるEvent‐B仕様作成ならびに検証作業の概要、Event‐Bの事例として、図書館システム、組込みシステム分野からの事例として、自動車のドアロックシステムを紹介。最後に発展的な話題を簡単にまとめる。
Table of Contents
- 第1章 形式手法とEvent‐B
- 第2章 Event‐B入門
- 第3章 統合ツールRODIN
- 第4章 事例1:図書館システム
- 第5章 事例2:ドアロックシステム
- 第6章 発展的な話題
by "BOOK database"