論理は，他の形式的なシステムと同様に，次の3つのコンポーネントから成り立っている．構文・意味・証明論である（p.146） 構文は，文法に合った文を定義するための一連の規則である 意味は，文の正確な意味を定義するための一連 […]
-
Pages
-
Categories
-
Archives
Category Archives: 要求工学
KAOS (76) 形式仕様 (4.4)
22/10/2014 – 7:50 AM
この節では，形式仕様の技術を概観している． KAOSの場合，次のようなステップをとる．［図式＋自然言語］→［図式＋形式記述］．SyntropyやCatalysisの系譜と同じである．ただ，この両者が基本的に分析・設計段階 […]
KAOS (75) 図式の得失(4.3.10)
21/10/2014 – 7:49 AM
半形式化した仕様における「形式的な部分」は，一般に図式言語によって与えられる(p.144) 冒頭にあるように，次の役割分担を考えている．図式とそこに書かれるテキストを考えたときに，図式は形式性を受け持つ．図式中に書かれる […]