Event-B: リファインメント・モデリングに基づく形式手法

内容詳細

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

最後に発展的な話題を簡単にまとめる。