Category Archives: KAOS

KAOS (109) イベントベースの仕様 (4.4.4-3)

02/05/2016 – 6:18 AM

前回は，モード遷移表について見た．観測変数に対して，このモード遷移表を作成するためであった．次の2つのテーブルは，制御変数の状態を定めるために用いる． イベント表（Event Table） イベント表は，モードとイベント […]

By nil | Also posted in 形式仕様記述, 要求, 要求工学 | KAOS (109) イベントベースの仕様 (4.4.4-3) はコメントを受け付けていません

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

28/04/2016 – 6:44 AM

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

By nil | Also posted in 形式仕様記述, 要求, 要求工学 | KAOS (108) イベントベースの仕様 (4.4.4-2) はコメントを受け付けていません

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

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 | Also posted in 形式仕様記述, 要求, 要求工学 | Tagged | KAOS (107) イベントベースの仕様 (4.4.4-1) はコメントを受け付けていません