シーケンス図に基づくディペンダビリティケース作成法の研究(一般・学生)