議論分解パターンに基づくディペンダビリティケースの作成実験

摘要

ディペンダビリティケースがシステムの安全性や説明責任を保証する方法として注目されている．このため，ディペンダビリティケースでの議論分解を効果的に扱うために議論分解パターンが提案されている．しかし，具体的な有効性については明確ではなかった．本報告では，議論分解パターンを用いたディペンダビリティケースの作成実験を実施した結果について報告する．