Abstract
After producing the D-case based on DFD, a question about the consistency of the produced D-case was raised. In this paper we will be discussing consistency checks for the produced D-case according to DFD and D-case rules and propose some approaches based on it. There are some rules used to define and formalize the DFD, in the same manner we will define the syntax and semantics of the produced D-case. © Springer International Publishing Switzerland 2014.
Author supplied keywords
Cite
CITATION STYLE
Olayan, N., & Yamamoto, S. (2014). A Consistency Check of Dependability Case (D-case) Produced from Data Flow Diagram (DFD). In Communications in Computer and Information Science (Vol. 466 CCIS, pp. 603–616). Springer Verlag. https://doi.org/10.1007/978-3-319-11854-3_53
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
