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