述語論理によって,文ごとに真偽判定するのではなくて,主語・述語(・および目的語など)といった単位で,記述ができるようになった.論理の規則からいったん離れて,述語について考えてみる. 実際の要求文書ではないが,規格からサン […]
-
Pages
-
Categories
-
Archives
述語論理によって,文ごとに真偽判定するのではなくて,主語・述語(・および目的語など)といった単位で,記述ができるようになった.論理の規則からいったん離れて,述語について考えてみる. 実際の要求文書ではないが,規格からサン […]
この(リスク管理)プロセスは,文書化されるべきである.この中で,リスクに対する対抗手段の(有効性についての)理由を提供し,要求の進化を支援するためである.即ち,要求を変更することにより,リスクが変わる可能性があり,これに […]
私には,次のことが明らかである.セキュリティは,技術によって解決可能な問題ではない.確かに解決策は,技術的な要素を含む.しかし,セキュリティというのは,基本的に,人間の問題である リスク管理は,次の3つからなる:リスクの […]