A case study in cleanroom software engineering: the IBM COBOL Structuring Facility
暂无分享,去创建一个
[1] Harlan D. Mills,et al. Structured programming - theory and practice , 1979, The systems programming series.
[2] Harlan D. Mills. Structured Programming: Retrospect and Prospect , 1986, IEEE Software.
[3] Harlan D. Mills,et al. Correction to 'Certifying the reliability of software' (Jan. 1986 3-11) , 1989 .
[4] Harlan D. Mills,et al. Cleanroom Software Engineering , 1987, IEEE Software.
[5] Harlan D. Mills,et al. Certifying the reliability of software , 1986, IEEE Transactions on Software Engineering.
[6] C. A. R. Hoare,et al. An axiomatic basis for computer programming , 1969, CACM.
[7] Harlan D. Mills,et al. Data structured programming: Program design without arrays and pointers , 1986, IEEE Transactions on Software Engineering.
[8] Alan R. Hevner,et al. Box Structured Information Systems , 1987, IBM Syst. J..
[9] C. A. R. HOARE,et al. An axiomatic basis for computer programming , 1969, CACM.
[10] Capers Jones,et al. Programming Productivity , 1986 .
[11] David Gries,et al. The Science of Programming , 1981, Text and Monographs in Computer Science.