ＥｖｅｎｔーＢ

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

近代科学社
中島震　来間啓伸　

• 価格: 4,180円（本体3,800円＋税）
• 発行年月: 2015年02月
• 判型: Ｂ５
• ISBN: 9784764904248

内容情報

[BOOKデータベースより]

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

第１章　形式手法とＥｖｅｎｔ‐Ｂ
第２章　Ｅｖｅｎｔ‐Ｂ入門
第３章　統合ツールＲＯＤＩＮ
第４章　事例１：図書館システム
第５章　事例２：ドアロックシステム
第６章　発展的な話題

[日販商品データベースより]

Ｅｖｅｎｔ−Ｂの入門書。利用するための仕様構築統合環境として、ＲＯＤＩＮプラットホームを解説。