Analysis of Real-Time Systems by Data Flowgraphs
- 1 May 1978
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. SE-4 (3) , 169-178
- https://doi.org/10.1109/TSE.1978.231495
Abstract
The concept of a data flowgraph is formalized as a bipartite directed graph. Each execution sequence of a computer program has a corresponding data flowgraph which describes functionally what happens to the data if that execution sequence is followed.Keywords
This publication has 5 references indexed in Scilit:
- Discrete Systems and FlowchartsIEEE Transactions on Software Engineering, 1978
- Experimental investigations of the utility of detailed flowcharts in programmingCommunications of the ACM, 1977
- A Complexity MeasureIEEE Transactions on Software Engineering, 1976
- An Introduction to Proving the Correctness of ProgramsACM Computing Surveys, 1976
- A program data flow analysis procedureCommunications of the ACM, 1976