A Guided Tour of Program Design Methodologies
暂无分享,去创建一个
[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.