论文信息 - A Guided Tour of Program Design Methodologies - 字舞流文

A Guided Tour of Program Design Methodologies

After describing, applying, comparing, and evaluating four major methodologies, this guided tour concludes with an interim procedure for use until the "right" method appears.

Glenn D. Bergland | G. Bergland

[1] F. T. Baker,et al. Structured programming in a production programming environment , 1975, IEEE Transactions on Software Engineering.

[2] Fred P. Brooks,et al. The Mythical Man-Month , 1975, Reliable Software.

[3] Edsger W. Dijkstra,et al. The humble programmer , 1972, CACM.

[4] Harlan D. Mills,et al. Structured programming - theory and practice , 1979, The systems programming series.

[5] Glenn D. Bergland,et al. Tutorial: Software Design Strategies , 1981 .

[6] Stephen N. Zilles,et al. Programming with abstract data types , 1974 .

[7] Barbara Liskov,et al. A design methodology for reliable software systems , 1972, AFIPS '72 (Fall, part I).

[8] K. Thompson,et al. The UNIX time-sharing system , 1978 .

[9] F. T. Baker. Structured programming in a production programming environment , 1975 .

[10] Michael Jackson,et al. Principles of program design , 1975 .

[11] David Gries. An Illustration of Current Ideas on the Derivation of Correctness Proofs and Correct Programs , 1976, IEEE Transactions on Software Engineering.

[12] D. L. Parnas,et al. On the criteria to be used in decomposing systems into modules , 1972, Software Pioneers.