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.
CITATION STYLE
Kinoshita, S., & Kinoshita, Y. (2017). A thought experiment on evolution of assurance cases: —From a logical aspect. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 10489 LNCS, pp. 17–26). Springer Verlag. https://doi.org/10.1007/978-3-319-66284-8_2
Mendeley helps you to discover research relevant for your work.