IEC 62304 – risk = nil;

Category Archives: IEC 62304

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

31/10/2014 – 8:14 AM

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

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

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

27/09/2014 – 9:40 AM

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

By nil | Also posted in ISO 26262, ISO/IEC 12207, KAOS, 自動車, 要求, 要求工学 | コメントを受け付けていません