Cleanroom software engineering

IEEE Potentials

Volumn 15, Issue 4, 1996, Pages 29-32

  Spangler, Alan ^a  

^a IBM   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CLEAN ROOMS; CODES (SYMBOLS); COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SOFTWARE; ERRORS; MATHEMATICAL MODELS; PLANNING; PROJECT MANAGEMENT; QUALITY ASSURANCE; RELIABILITY; STATISTICAL METHODS; TESTING;

BOX STRUCTURES APPROACH; CLEANROOM SOFTWARE ENGINEERING; CORRECTNESS VERIFICATION; INCREMENT PLANNING; RELIABILITY CERTIFICATION;

SOFTWARE ENGINEERING;

EID: 0030269527     PISSN: 02786648     EISSN: None     Source Type: Journal    
DOI: 10.1109/45.539962     Document Type: Article

References (3)

1. R.H. Cobb H.D. Mills Engineering Software under Statistical Quality Control IEEE Software 44 53 November 1990
2. M. Dyer The Cleanroom Approach To Quality Software Development 1992 John Wiley and Sons NY, New York
3. H.D. Mills M. Dyer R.C. Linger Cleanroom Software Engineering IEEE Software September 1987