@article{oai:nagoya.repo.nii.ac.jp:00021622,
 author = {高間, 翔太 and 山本, 修一郎 and TAKAMA, Shota and YAMAMOTO, Shuichiro},
 issue = {215},
 journal = {電子情報通信学会技術研究報告. KBSE, 知能ソフトウェア工学},
 month = {Sep},
 note = {近年、様々なシステムを対象としたアシュアランスケースの作成手法や、その妥当性の確認が進められている。筆者らは、システムの運用手順に対するアシュアランスケースの作成手法と、アシュアランスケースの要素からコンテクストを推定する手法を提案している。本稿では、異なる作成手法で記述されたアシュアランスケースを比較することによって、運用手順に対するアシュアランスケースの作成手法の妥当性を確認する手法を検証する。, Assurance cases have been used for assuring dependability of various systems, and assurance cases have been studying the validity. We proposed a method to review operation manuals of various systems based on assurance cases and a method to infer contexts of an assurance cases. In this paper, we propose a method to validate writing methods of assurance cases for operation manuals of various systems for comparing assurance cases using different writing method., IEICE Technical Report;KBSE2013-51},
 pages = {85--90},
 title = {運用手順に対するアシュアランスケース作成法の比較評価},
 volume = {113},
 year = {2013}
}