Monthly Archives: 4月 2016

KAOS (108) イベントベースの仕様 (4.4.4-2)

SCR SCRは表を中心的な表現手段として用いる.以下の表を用いる. モード遷移表(観測変数) イベント表(制御変数) 条件表(制御変数) 括弧内は,観測変数/制御変数のうち,どちらに対するものかを示している.観測変数は […]

KAOS (107) イベントベースの仕様 (4.4.4-1)

Aiming at a very high quality documentation which has these properties is perhaps the only way out available t […]

KAOS (106) 状態ベースの仕様 (4.4.3-7)

長所と短所 前回までで,Z言語を用いた記述法に関して,教科書に沿った内容を記述した(もちろん全部ではない). 最後にまとめである. 以下の良い点を持つ素直なアプローチだとしている. システムの状態空間を説明するための数学 […]