← ソフトウェア要求仕様における HAZOP を応用した …