本書は情報処理学会のオブジェクト指向シンポジウムの論文をまとめたもので、オブジェクト指向技術の有用性、最先端の技法、開発現場での問題点や利点・ノウハウに関する最新の発表をまとめたものである。

「リアルタイムシステム」（組込系など）への手法！
UPPAAL（ウパール）は，モデル検査ツールとしては比較的利用が容易ではあるが，実際の開発には多くのハードルがある．本書では，そのようなハードルを乗り越えるために必要な，UPPAALツール，時間オートマトン，検証したい性質を記述するための時間時相論理に関する知識，および実際の開発で検証の対象となるUML設計仕様のUPPAALによるモデル化方法など，具体的事例も交えてノウハウを解説している．