Certifying the correctness of software
暂无分享,去创建一个
[1] Harlan D. Mills,et al. Data structured programming: Program design without arrays and pointers , 1986, IEEE Transactions on Software Engineering.
[2] Jesse H. Poore,et al. Bringing Software Under Statistical Quality Control , 1988 .
[3] David Lorge Parnas,et al. A technique for software module specification with examples , 1972, CACM.
[4] Harlan D. Mills,et al. Structured programming - theory and practice , 1979, The systems programming series.
[5] Harlan D. Mills,et al. Correction to 'Certifying the reliability of software' (Jan. 1986 3-11) , 1989 .
[6] Harlan D. Mills,et al. Cleanroom Software Engineering , 1987, IEEE Software.
[7] Harlan D. Mills,et al. Certifying the reliability of software , 1986, IEEE Transactions on Software Engineering.
[8] Victor R. Basili,et al. Cleanroom Software Development: An Empirical Evaluation , 1987, IEEE Transactions on Software Engineering.
[9] Harlan D. Mills,et al. Engineering software under statistical quality control , 1990, IEEE Software.