Category Archives: 規格

KAOS (84) 文を形式化する基礎としての論理:述語論理 (4.4.1-8)

述語論理によって,文ごとに真偽判定するのではなくて,主語・述語(・および目的語など)といった単位で,記述ができるようになった.論理の規則からいったん離れて,述語について考えてみる. 実際の要求文書ではないが,規格からサン […]

KAOS (51) リスク文書化 (3.2.3)

この(リスク管理)プロセスは,文書化されるべきである.この中で,リスクに対する対抗手段の(有効性についての)理由を提供し,要求の進化を支援するためである.即ち,要求を変更することにより,リスクが変わる可能性があり,これに […]

KAOS (48) リスク管理 (3.2.2-1)

私には,次のことが明らかである.セキュリティは,技術によって解決可能な問題ではない.確かに解決策は,技術的な要素を含む.しかし,セキュリティというのは,基本的に,人間の問題である リスク管理は,次の3つからなる:リスクの […]