Formal definition and verification of data flow diagrams

[1]  David Chenho Kung,et al.  Process interface modeling and consistency checking , 1991, J. Syst. Softw..

[2]  David Harel,et al.  On visual formalisms , 1988, CACM.

[3]  Mike Adler,et al.  An Algebra for Data Flow Diagram Process Decomposition , 1988, IEEE Trans. Software Eng..

[4]  Itzhak Shemer,et al.  Systems analysis: a systemic analysis of a conceptual model , 1987, CACM.

[5]  Paul T. Ward,et al.  The transformation schema: An extension of the data flow diagram to represent control and timing , 1986, IEEE Transactions on Software Engineering.

[6]  D. Hatley,et al.  The use of structured methods in the development of large software-based avionics systems , 1984 .

[7]  Atul Prakash,et al.  Software Engineering: Problems and Perspectives , 1984, Computer.

[8]  Antoni Olivé,et al.  Information derivability analysis in logical information systems , 1983, CACM.

[9]  Bennet P. Lientz,et al.  Issues in Software Maintenance , 1983, CSUR.

[10]  John C. Cherniavsky,et al.  Validation, Verification, and Testing of Computer Software , 1982, CSUR.

[11]  George H. Mealy,et al.  A method for synthesizing sequential circuits , 1955 .

[12]  R. Fujii,et al.  Verification and Validation: An Overview , 1989, IEEE Softw..

[13]  Edward Yourdon,et al.  Modern structured analysis , 1989 .

[14]  Richard E. Fairley,et al.  Software engineering concepts , 1985, McGraw-Hill series in software engineering and technology.

[15]  Tom DeMarco,et al.  Structured Analysis and System Specification , 1978 .