Category Archives: KAOS

KAOS (77) 文を形式化する基礎としての論理：命題論理 (4.4.1-1)

23/10/2014 – 7:39 AM

論理は，他の形式的なシステムと同様に，次の3つのコンポーネントから成り立っている．構文・意味・証明論である（p.146） 構文は，文法に合った文を定義するための一連の規則である 意味は，文の正確な意味を定義するための一連 […]

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

KAOS (76) 形式仕様 (4.4)

22/10/2014 – 7:50 AM

この節では，形式仕様の技術を概観している． KAOSの場合，次のようなステップをとる．［図式＋自然言語］→［図式＋形式記述］．SyntropyやCatalysisの系譜と同じである．ただ，この両者が基本的に分析・設計段階 […]

By nil | Also posted in 形式仕様記述, 要求, 要求工学 | KAOS (76) 形式仕様 (4.4) はコメントを受け付けていません

KAOS (75) 図式の得失(4.3.10)

21/10/2014 – 7:49 AM

半形式化した仕様における「形式的な部分」は，一般に図式言語によって与えられる(p.144) 冒頭にあるように，次の役割分担を考えている．図式とそこに書かれるテキストを考えたときに，図式は形式性を受け持つ．図式中に書かれる […]

By nil | Also posted in 要求, 要求工学 | Tagged | KAOS (75) 図式の得失(4.3.10) はコメントを受け付けていません