記号論理自体は，それ自体で閉じた世界である． それを利用するとなれば，我々が住んでいる現実世界と紐づける必要がある．紐付けることで，始めて要求を管理するという目的に役立つことになる． さて，述語論理に戻る．今回は，もう一 […]
-
Pages
-
Categories
-
Archives
Category Archives: 要求工学
KAOS (85) 文を形式化する基礎としての論理：述語論理 (4.4.1-9)
01/11/2014 – 3:01 PM
前回修正した文を，材料として用いることにする． ［一文目］製造業者は，（一つ又は複数の）ソフトウェア開発計画を確立すること．開発するソフトウェアシステムの適用範囲，規模およびソフトウェア安全クラス分類に適した開発プロセス […]
KAOS (84) 文を形式化する基礎としての論理：述語論理 (4.4.1-8)
31/10/2014 – 8:14 AM
述語論理によって，文ごとに真偽判定するのではなくて，主語・述語（・および目的語など）といった単位で，記述ができるようになった．論理の規則からいったん離れて，述語について考えてみる． 実際の要求文書ではないが，規格からサン […]