We introduce formal methods into the CASE tools in order to verify strictly the consistency between them. We present methods for verifying that the behavior of�...

We introduce formal methods into the CASE tools in order to verify strictly the consistency between them. In this paper, we present methods for verifying that�...

Aug 19, 1996 � We introduce formal methods into the CASE tools in order to verify strictly the consistency between them. In this paper, we present methods for�...

Dive into the research topics of 'Consistency checking between data and process diagrams based on formal methods'. Together they form a unique fingerprint�...

Syouri Kouno, Han-Myung Chang, Keijiro Araki: Consistency Checking between Data and Process Diagrams Based on Formal Methods. COMPSAC 1996: 261-269.

In this paper, we suggest the use of an algebraic approach for verifying whether consistency between sequence diagrams and statechart diagrams is preserved.

The purpose for the development of a tool is to automate the manual consistency check between data flow diagrams (DFDs) based on the rules of DFDs. The tool�...

The formalized rules for consistency check between the diagrams are used indeveloping the tool. This is to ensure the syntax for drawing the diagrams is correct�...

A formal requirements specification method is proposed that combines and extends DeMarco data flow diagrams with the Vienna development method.

During software development process, software artifacts are produced. Consistency among these artifacts should be verified to ensure error-free product.