An Evaluation of Argument Patterns Based on Data Flow

Abstract : In this paper, we will introduce some of the problem areas that software engineers are susceptible during the creation of assurance cases, based on the author’s educational experience with assurance cases. To mitigate these problems, assurance case patterns are proposed based on Data flow diagrams that help engineers develop assurance cases by reusing those patterns. It is also shown an evaluation result of assurance case pattern application to develop an assurance case for a smart card application system.
Complete list of metadatas

Cited literature [9 references]  Display  Hide  Download

https://hal.inria.fr/hal-01397249
Contributor : Hal Ifip <>
Submitted on : Tuesday, November 15, 2016 - 3:58:18 PM
Last modification on : Wednesday, November 16, 2016 - 1:04:11 AM
Long-term archiving on: Thursday, March 16, 2017 - 6:25:32 PM

File

978-3-642-55032-4_43_Chapter.p...
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

Shuichiro Yamamoto. An Evaluation of Argument Patterns Based on Data Flow. 2nd Information and Communication Technology - EurAsia Conference (ICT-EurAsia), Apr 2014, Bali, Indonesia. pp.432-437, ⟨10.1007/978-3-642-55032-4_43⟩. ⟨hal-01397249⟩

Share

Metrics

Record views

42

Files downloads

140