シュレイアー・メラー法によるオブジェクト・モデリング : リアルタイムシステムの静解析法

本書は、リアルタイムソフトウェア開発の精密工学とも言われるシュレイアー・メラーのオブジェクト指向静解析の実務書である。