A Consistency Check of Dependability Case (D-case) Produced from Data Flow Diagram (DFD)

Nada Olayan, Shuichiro Yamamoto. A Consistency Check of Dependability Case (D-case) Produced from Data Flow Diagram (DFD). In Alla Kravets, Maxim Shcherbakov, Marina V. Kultsova, Tadashi Iijima, editors, Knowledge-Based Software Engineering - 11th Joint Conference, JCKBSE 2014, Volgograd, Russia, September 17-20, 2014. Proceedings. Volume 466 of Communications in Computer and Information Science, pages 603-616, Springer, 2014. [doi]

Abstract

Abstract is missing.