论文信息 - Analysis of Real-Time Systems by Data Flowgraphs

Analysis of Real-Time Systems by Data Flowgraphs

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.

Uno R. Kodres

[1] Uno R. Kodres,et al. Discrete Systems and Flowcharts , 1978, IEEE Transactions on Software Engineering.

[2] Ben Shneiderman,et al. Experimental investigations of the utility of detailed flowcharts in programming , 1977, CACM.

[3] Daniel D. McCracken,et al. Numerical methods and FORTRAN programming , 1964 .

[4] Anas N. Al-Rabadi,et al. A comparison of modified reconstructability analysis and Ashenhurst‐Curtis decomposition of Boolean functions , 2004 .

[5] SIDNEY L. HANTLER,et al. An Introduction to Proving the Correctness of Programs , 1976, CSUR.

[6] John Cocke,et al. A program data flow analysis procedure , 1976, CACM.