Engineering Software under Statistical Quality Control

IEEE Software

Volumn 7, Issue 6, 1990, Pages 45-54

  Cobb, Richard H ^a   Mills, Harlan D ^a  

^a Software Engineering Technology ^*  (United States)

Author keywords

[No Author keywords available]

Indexed keywords

MATHEMATICAL STATISTICS; QUALITY CONTROL;

CLEANROOM ENGINEERING; SOFTWARE STATISTICAL QUALITY CONTROL;

COMPUTER SOFTWARE;

EID: 0025510192     PISSN: 07407459     EISSN: None     Source Type: Journal    
DOI: 10.1109/52.60601     Document Type: Article

References (10)

1. H.D. Mills, “Structured Programming: Retrospect and Prospect,” IEEE Software, Nov. 1986, pp. 58–66.
2. E.N. Adams, “Optimizing Preventive Service of Software Products,” IBM J. Research and Development, Jan. 1984.
3. R.C. Linger, H.D. Mills, and B.I. Witt, Structured Programming: Theory and Practice, Addison-Wesley, Reading, Mass., 1979.
4. R.C. Linger and H.D. Mills, “A Case Study in Cleanroom Software Engineering: The IBM Cobol Structuring Facility,” Proc. Computer Software and Applications Conf., CS Press, Los Alamitos, Calif., 1988.
5. R.W. Selby, V.R. Basili, and F.T. Baker, “Cleanroom Software Development: An Empirical Evaluation,” IEEE Trans. Software Eng., Sept. 1987, pp.l.027–1.037.
6. M. Dyer and A. Kouchakdjian, “Correctness Verification: Alternative to Structural Software Testing,” Information and Software Technology, Jan./Feb. 1990, pp. 53–59.
7. H.D. Mills, M. Dyer, and R.C. Linger, “Cleanroom Software Engineering,” ZEEE Software, Nov. 1986, pp. 19–24.
8. D.L. Parnas and Y Wang, “The Trace Assertion Method of Module-Interface Specification,” Tech. Rep. 89–261, Telecommunications Research Inst, of Ontario, Queens Univ., Kingston, Ontario, Canada, 1989.
9. J.H. Poore et al., “A Case Study Using Cleanroom with Box Structures ADL,” Tech. Report CDRL 1880, Software Engineering Technology, Vero Beach, Fla., 1990.
10. H.D. Mills, “Stepwise Refinement and Verification in Box-Structured Systems,” Computer, June 1988, pp. 23–36.