@article{oai:nagoya.repo.nii.ac.jp:00021600, author = {山本, 修一郎 and 松野, 裕 and Yamamoto, Shuichiro and Matsuno, Yutaka}, issue = {165}, journal = {電子情報通信学会技術研究報告. KBSE, 知能ソフトウェア工学}, month = {Jul}, note = {システムの安全性や可用性を保証するために,ディペンダビリティケースが注目されている.しかし,ディペンダビリティケースの作成法についての明確な手順や記述上のガイドラインについては必ずしも明確ではなかった.本稿では,まずディペンダビリティケース作成上の課題を明らかにする.次いで課題に対する取り組み方針について述べる., Although dependability case is attracted to assure system safety and availability, methods and guidelines how to develop dependability cases. In this paper, problems and issues to develop dependability cases are clarified. Then practical methods to describe dependability cases are discussed., IEICE Technical Report;SS2012-20, IEICE Technical Report;KBSE2012-22}, pages = {61--66}, title = {ディペンダビリティケース作成法に関する一考察}, volume = {112}, year = {2012} }