内容説明
実時間システム開発向けモデル検査ツールの標準ＵＰＰＡＡＬの日本初の解説書。組込みシステムの仕様や設計のモデリングと、機能や性能に関するモデル検査、開発プロセスの設計のための実用書。
目次
第１章 ＵＰＰＡＡＬを使ってみよう
第２章 ＵＰＰＡＡＬのシステムモデルと検証式
第３章 検証プロセス
第４章 ケーススタディ（１）オートクラッチ車ギア制御
第５章 ケーススタディ（２）オーディオデータ通信プロトコル
第６章 ソフトウェア設計とモデル検査
第７章 おわりに
著者等紹介
大須賀昭彦［オオスガアキヒコ］
１９８１年上智大学理工学部数学科卒業。株式会社東芝。１９８５年～１９８９年（財）新世代コンピュータ技術開発機構（ＩＣＯＴ）。１９９５年工学博士（早稲田大学）。現在、電気通信大学大学院情報システム学研究科教授。ＩＥＥＥ Ｃｏｍｐｕｔｅｒ Ｓｏｃｉｅｔｙ Ｊａｐａｎ Ｃｈａｐｔｅｒ Ｃｈａｉｒ、人工知能学会理事、日本ソフトウェア科学会理事などを歴任。ソフトウェア工学、人工知能の研究に従事
長谷川哲夫［ハセガワテツオ］
１９８７年早稲田大学大学院理工学研究科電気工学修士課程修了。現在、株式会社東芝ソフトウエア技術センター。ソフトウェア工学、自律分散システム、仮想化技術などの研究開発に従事
田原康之［タハラヤスユキ］
１９９１年東京大学大学院理学系研究科修士課程修了。株式会社東芝。２００３年国立情報学研究所。現在、電気通信大学大学院情報システム学研究科准教授、博士（情報科学）。エージェント技術、ソフトウェア工学の研究に従事。特に、エージェント指向開発方法論、モデル検査技術、および要求分析技術に興味を持つ
磯部祥尚［イソベヨシナオ］
１９９２年芝浦工業大学大学院電気工学専攻修士課程修了。通商産業省工業技術院電子技術総合研究所。現在、独立行政法人産業技術総合研究所主任研究員、工学博士。形式手法による並行システムの検証に関する研究に従事（本データはこの書籍が刊行された当時に掲載されていたものです）
※書籍に掲載されている著者及び編者、訳者、監修者、イラストレーターなどの紹介情報です。
感想・レビュー
※以下の感想・レビューは、株式会社ブックウォーカーの提供する「読書メーター」によるものです。
kaizen@名古屋de朝活読書会
Q
