A formal model for data flow diagram rules

Ibrahim , Rosziati and Siow, Yen Yen A formal model for data flow diagram rules. ARPN Journal of Systms and Software, 1 (2). pp. 60-69.

Full text not available from this repository.

Official URL: http://www.scientific-journals.org

Abstract

A formal model for data flow diagram (DFD) rules is developed by introducing a syntax and semantics for its rules. DFD has been chosen because it is an approach for specifying, constructing and visualizing the model of a system graphically and has been in practical used on a very wide basis but still lacks formal and precise understanding. This formal model can be used to check the correctness of the diagrams and consistency among the diagrams.

Item Type:Article
Uncontrolled Keywords:context diagram; data flow diagram; formal method; consistency rules
Subjects:Q Science > QA Mathematics > QA76 Computer software
Divisions:Faculty of Computer Science and Information Technology > Department of Software Engineering
ID Code:2946
Deposited By:Normajihan Abd. Rahman
Deposited On:24 Dec 2012 16:43
Last Modified:22 Jan 2015 11:50

Repository Staff Only: item control page