2014 | OriginalPaper | Buchkapitel
A Consistency Check of Dependability Case (D-case) Produced from Data Flow Diagram (DFD)
verfasst von : Nada Olayan, Shuichiro Yamamoto
Erschienen in: Knowledge-Based Software Engineering
Verlag: Springer International Publishing
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
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.