@article{oai:nagoya.repo.nii.ac.jp:00021621, author = {丁, 峰 and 山本, 修一郎 and Ding, Feng and Yamamoto, Shuichiro}, issue = {71}, journal = {電子情報通信学会技術研究報告. KBSE, 知能ソフトウェア工学}, month = {May}, note = {ディペンダビリティケースはシステムの安全性を向上する技術として注目されています.この技術をシステムの開発プロセスに導入することが重要な課題になっている.本報告では、開発プロセスで利用されるシーケンス図の各方面を分析して、その結果に基づくディペンダビリティケース作成法を提案する., Dependability case is one of the methods used to assure system safety and availability. In this paper ,a method to develop dependability case based on sequence diagram will be proposed by analysing the sequence diagram used in the system development phase., IEICE Technical Report;KBSE2013-2}, pages = {7--12}, title = {シーケンス図に基づくディペンダビリティケース作成法の研究}, volume = {113}, year = {2013} }