Tag Archives: ステートチャート

KAOS (73) 図式を使用する: 状態機械図 (4.3.7ー4)

我々のモデリングアプローチ,特にステートチャート言語は,反応型のシステムに有効である.そのふるまいは複雑で,よく知られているように,見つけにくい誤りに満ちた仕様上の問題を引き起こす.多くのリアルタイムシステムは,相当する […]