論文

査読有り
2017年

A thought experiment on evolution of assurance cases: —From a logical aspect

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
  • Shuji Kinoshita
  • ,
  • Yoshiki Kinoshita

10489
開始ページ
17
終了ページ
26
記述言語
英語
掲載種別
研究論文(国際会議プロシーディングス)
DOI
10.1007/978-3-319-66284-8_2
出版者・発行元
Springer Verlag

A thought experiment on evolution of assurance argument is performed on the basis of an interview with a manufacturer that applied for a certification of conformance of their in-house software life cycle to a safety standard. The working hypothesis of the experiment is that assurance cases help find problems in arguments on software life cycle and improve the life cycle. Based on the result of the thought experiment, questions for further empirical studies are generated and the ontology of relevant information items are analysed.

リンク情報
DOI
https://doi.org/10.1007/978-3-319-66284-8_2
URL
https://link.springer.com/chapter/10.1007/978-3-319-66284-8_2

エクスポート
BibTeX RIS