Ｅｖｅｎｔ‐Ｂ リファインメント・モデリングに基づく形式手法
| 出版社名 | 近代科学社 |
|---|---|
| 出版年月 | 2015年2月 |
| ISBNコード |
978-4-7649-0424-8
（4-7649-0424-1） |
| 税込価格 | 4,180円 |
| 頁数・縦 | １６１Ｐ ２４ｃｍ |
商品内容
| 要旨 |
そもそも形式手法とは、という話題、Ｅｖｅｎｔ‐Ｂの基本的な考え方、ＲＯＤＩＮツールを用いるＥｖｅｎｔ‐Ｂ仕様作成ならびに検証作業の概要、Ｅｖｅｎｔ‐Ｂの事例として、図書館システム、組込みシステム分野からの事例として、自動車のドアロックシステムを紹介。最後に発展的な話題を簡単にまとめる。 |
|---|---|
| 目次 |
第１章 形式手法とＥｖｅｎｔ‐Ｂ |