4月 – 2016 – risk = nil;

Monthly Archives: 4月 2016

28/04/2016 – 6:44 AM

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

By nil | Posted in KAOS, 形式仕様記述, 要求, 要求工学 | コメントを受け付けていません

27/04/2016 – 5:22 AM

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

By nil | Posted in KAOS, 形式仕様記述, 要求, 要求工学 | Tagged SCR | コメントを受け付けていません

26/04/2016 – 6:34 AM

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

By nil | Posted in KAOS, 形式仕様記述, 要求, 要求工学 | Tagged Z | コメントを受け付けていません

risk = nil;