組込みエンジニアのための状態遷移設計手法(クミコミ エンジニア ノ タメノ ジョウタイ センイ セッケイ シュホウ)

本書は、実際の開発現場の必要性から生まれた実践的な状態遷移設計の指南書です。学術的な状態遷移の理論書とは一線を画し、実際の組込みソフトウェア開発の現場で使われている状態遷移設計のプロセスから、詳細な記述テクニックまで、実務で状態遷移を使うために必要なノウハウが詰まった内容になっています。実際の企業の状態遷移図や状態遷移表の設計現場では、設計資産がどうしても再利用できない、可読性が確保できないなど様々の課題を抱えています。本書はこれらの課題の解決に一つのヒントを与えてくれる実践設計手法の解説書です。