Bibliographic Information
- Other Title
-
- ウンヨウ テジュン ニ タイスル アシュアランスケース サクセイホウ ノ ヒカク ヒョウカ
- A Comparative Evaluation on Assurance Case Discriptions for Operation Manuals
Search this article
Abstract
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
Journal
-
- 電子情報通信学会技術研究報告. KBSE, 知能ソフトウェア工学
-
電子情報通信学会技術研究報告. KBSE, 知能ソフトウェア工学 113 (215), 85-90, 2013-09
一般社団法人電子情報通信学会
- Tweet
Keywords
Details 詳細情報について
-
- CRID
- 1050001338804739840
-
- NII Article ID
- 110009824830
-
- NII Book ID
- AA1123312X
-
- HANDLE
- 2237/23770
-
- NDL BIB ID
- 024925926
-
- ISSN
- 09135685
-
- Text Lang
- ja
-
- Article Type
- journal article
-
- Data Source
-
- IRDB
- NDL
- CiNii Articles