Event‐B リファインメント・モデリングに基づく形式手法/中島震/來間啓伸

著者名:中島震  來間啓伸 
出版社名:近代科学社

---

そもそも形式手法とは、という話題、Event‐Bの基本的な考え方、RODINツールを用いるEvent‐B仕様作成ならびに検証作業の概要、Event‐Bの事例として、図書館システム、組込みシステム分野からの事例として、自動車のドアロックシステムを紹介。最後に発展的な話題を簡単にまとめる。

※本データはこの商品が発売された時点の情報です。