この書籍の内容

内容詳細

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

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

みんなのレビュー

まだレビューがありません

Qiitaでこの書籍を紹介している記事