1Nagoya University (1 Furocho, Chikusa Ward, Nagoya, Aichi Prefecture 464-0814, Japon - Japon)
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.
David Hutchison; Takeo Kanade; Bernhard Steffen; Demetri Terzopoulos; Doug Tygar; Gerhard Weikum; Linawati; Made Sudiana Mahendra; Erich J. Neuhold; A Min Tjoa; Ilsun You; Josef Kittler; Jon M. Kleinberg; Alfred Kobsa; Friedemann Mattern; John C. Mitchell; Moni Naor; Oscar Nierstrasz; C. Pandu Rangan. 2nd Information and Communication Technology - EurAsia Conference (ICT-EurAsia), Apr 2014, Bali, Indonesia. Springer, Lecture Notes in Computer Science, LNCS-8407, pp.432-437, 2014, Information and Communication Technology. 〈10.1007/978-3-642-55032-4_43〉
https://hal.inria.fr/hal-01397249
Contributeur : Hal Ifip
<>
Soumis le : mardi 15 novembre 2016 - 15:58:18
Dernière modification le : mercredi 16 novembre 2016 - 01:04:11
Document(s) archivé(s) le : jeudi 16 mars 2017 - 18:25:32
Shuichiro Yamamoto. An Evaluation of Argument Patterns Based on Data Flow. David Hutchison; Takeo Kanade; Bernhard Steffen; Demetri Terzopoulos; Doug Tygar; Gerhard Weikum; Linawati; Made Sudiana Mahendra; Erich J. Neuhold; A Min Tjoa; Ilsun You; Josef Kittler; Jon M. Kleinberg; Alfred Kobsa; Friedemann Mattern; John C. Mitchell; Moni Naor; Oscar Nierstrasz; C. Pandu Rangan. 2nd Information and Communication Technology - EurAsia Conference (ICT-EurAsia), Apr 2014, Bali, Indonesia. Springer, Lecture Notes in Computer Science, LNCS-8407, pp.432-437, 2014, Information and Communication Technology. 〈10.1007/978-3-642-55032-4_43〉. 〈hal-01397249〉
