Category Archives: KAOS

KAOS (90) 過程ベースの仕様 (4.4.2-2)

07/11/2014 – 8:21 AM

要求記述で，様相論理を使うこと場面は少ない．ただ，様相論理の発展形の一つである時相論理が使われるときがある．KAOSは，時相論理を用いる要求分析手法である． 時相論理という言葉は聞かなくても，モデル検証ということばは耳に […]

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

KAOS (89) 過程ベースの仕様 (4.4.2-1)

06/11/2014 – 8:25 AM

久しぶりにタイトルが変わった． さて，命題論理は中身は問わずに文の真偽を議論した．述語論理は文の述語を表現することで，表現力が向上した．しかし，それでもいえることは限られている．「人間であれば，いつかは死ぬ」ということば […]

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

KAOS (88) 文を形式化する基礎としての論理：述語論理 (4.4.1-12)

04/11/2014 – 7:45 AM

さて，今回は述語論理における推論（証明）規則である． 最初の規則である． これは，当たり前で，かつ余り役に立たない．次は，等号に関する削除の規則である． いま，xがΦの束縛変数とする．明らかにt1, t2 は自由変数とな […]

By nil | Also posted in 形式仕様記述, 要求, 要求工学 | KAOS (88) 文を形式化する基礎としての論理：述語論理 (4.4.1-12) はコメントを受け付けていません