 
|
|
|
キノシタ ヨシキ
Kinoshita Yoshiki 木下 佳樹 所属 神奈川大学 情報学部 計算機科学科 神奈川大学大学院 理学研究科 理学専攻（情報科学領域） 職種 教授 |
|
| 言語種別 | 英語 |
| 発行・発表の年月 | 2019/09 |
| 形態種別 | 学術雑誌 |
| 査読 | 査読あり |
| 標題 | A Thought Experiment on Evolution of Assurance Cases - from a Logical Aspect |
| 執筆形態 | 共著 |
| 掲載誌名 | Springer Lecture Notes in Computer Science |
| 掲載区分 | 国外 |
| 出版社・発行元 | Springer-Verlag |
| 巻・号・頁 | (10489),pp.17-26 |
| 著者・共著者 | Shuji Kinoshita and ◎Yoshiki Kinoshita |
| 概要 | 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 rguments 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. |
Copyright © Kanagawa University. All Rights Reserved.