講演抄録/キーワード |
講演名 |
2013-09-12 16:30
Consistency check of D-case (dependability case) produced from DFD (data flow diagram) ○Nada Olayan・Shuichiro Yamamoto・vaise Patu・Yutaka Matsuno(Nagoya Univ.) KBSE2013-44 |
抄録 |
(和) |
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. |
(英) |
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. |
キーワード |
(和) |
DFD / D-case / GSN / Assurance case / dependability case / consistency / / |
(英) |
DFD / D-case / GSN / Assurance case / dependability case / consistency / / |
文献情報 |
信学技報, vol. 113, no. 215, KBSE2013-44, pp. 47-52, 2013年9月. |
資料番号 |
KBSE2013-44 |
発行日 |
2013-09-05 (KBSE) |
ISSN |
Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
PDFダウンロード |
KBSE2013-44 |