Consistency check of D-case (dependability case) produced from DFD (data flow diagram)

スポンサーリンク

概要

• 論文の詳細を見る

• After producing the D-case based on DFD, a question about the consistency of the produced D-case is raised. In this paper we will be discussing consistency checks for the produced D-case according to DFD and D-case rules. There are some rules used to define and formalize the DFD, in the same manner we will define the syntax and semantic of D-case.

• 一般社団法人電子情報通信学会の論文
• 2013-09-05

著者

• Patu Vaise

  Graduate School of Information Sciences, Nagoya University

• Yamamoto Shuichiro

  Strategy Office of Information and Communications Headquarters, Nagoya University

• Olayan Nada

  Graduate School of Information Sciences, Nagoya University

• Matsuno Yutaka

  Strategy Office of Information and Communications Headquarters, Nagoya University

関連論文

• A Dependability Assurance Method Based on DFD (Data Flow Diagram)
• Consistency check of D-case (dependability case) produced from DFD (data flow diagram)

スポンサーリンク