Title :
Analysis of Real-Time Systems by Data Flowgraphs
Author_Institution :
Department of Computer Science, Naval Postgraduate School
fDate :
5/1/1978 12:00:00 AM
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 :
Bipartite graph; control complexity; data flowgraph; discrete systems; execution sequence; independence; parallel processes; program analysis; Algorithm design and analysis; Computer graphics; Data analysis; Data flow computing; Flowcharts; Hardware; Information analysis; Parallel processing; Real time systems; Testing; Bipartite graph; control complexity; data flowgraph; discrete systems; execution sequence; independence; parallel processes; program analysis;
Journal_Title :
Software Engineering, IEEE Transactions on
DOI :
10.1109/TSE.1978.231495
