Tailoring cleanroom for industrial use

IEEE Software

Volumn 15, Issue 6, 1998, Pages 46-55

  Oshana, Robert S ^a,b,c,d,e  

^a RAYTHEON COMPANY   (United States)

^b SOUTHERN METHODIST UNIVERSITY   (United States)

^c WORCESTER POLYTECHNIC INSTITUTE   (United States)

^d UNIVERSITY OF TEXAS AT ARLINGTON   (United States)

^e UNIVERSITY OF DALLAS   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CLEANROOM SOFTWARE ENGINEERING;

ALGORITHMS; CLEAN ROOMS; COMPUTER ARCHITECTURE; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; COST EFFECTIVENESS; INDUSTRIAL APPLICATIONS; OPTIMIZATION; PROJECT MANAGEMENT; REAL TIME SYSTEMS; STATISTICAL TESTS;

SOFTWARE ENGINEERING;

EID: 0032208630     PISSN: 07407459     EISSN: None     Source Type: Journal    
DOI: 10.1109/52.730840     Document Type: Article

References (15)

1. S.W. Sherer, A. Kouchakdjian, and P.G. Arnold, "Experience Using Cleanroom Software Engineering," IEEE Software, May 1996, pp. 69-76.
2. V. Basili et al., "SEL's Software Process Improvement Program," IEEE Software, Vol. 12, No. 6, Nov. 1995, pp. 83-87.
3. R.W. Selby, V.R. Basili, and F.T. Baker, "Cleanroom Software Development: An Empirical Evaluation," IEEE Trans. Software Eng., Sept. 1987, pp. 1027-1037.
4. P.A. Hausler, R.C. Linger, and C.J. Trammel, "Adopting Cleanroom Software Engineering With a Phased Approach," IBM Systems J., Vol. 33, No. 1, 1994.
5. D.P Kelly and R.S. Oshana, "Integrating Cleanroom Software Methods into an SEI Level 4-5 Program," Crosstalk, Nov. 1996.
6. M. Dyer, The Cleanroom Approach to Quality Software Development, John Wiley & Sons, New York, 1992.
7. H.D. Mills, M. Dyer, and R.C. Linger, "Cleanroom Software Engineering," IEEE Software, Sept. 1987, pp. 19-25.
8. R.C. Linger, "Cleanroom Process Model," IEEE Software, Mar. 1994, pp. 50-58.
9. J. A. Whittaker and J.H. Poore, "Markov Analysis of Software Specifications," ACM Trans. Software Eng. and Methodology, Vol. 2, No. 1, Jan. 1993, pp. 93-106.
10. G.H. Walton, J.H. Poore, and C.J. Trammel, "Statistical Testing of Software Based on a Usage Model," Software Practice and Experience, Vol. 25, No. 1, Jan. 1993, pp. 97-108.
11. R.C. Linger and C.J. Trammell, "Cleanroom Software Engineering Reference Model, Version 1.0," Software Eng. Inst., Pittsburgh, Nov. 1996.
12. R.C. Linger and C.J. Trammell, "The SEI Cleanroom Software Engineering Reference Model and its Implementation for the CMM for Software," Proc. 3rd Ann. Int'l Conf. Cleanroom Software Eng. Practices, Oct. 1996, Section VI, pp. 1-15.
13. J.C. Kelly and K. Kemp, "Formal Methods Specification and Verification Guidebook for Software and Computer Systems - Planning and Technology Insertion," Release 1.0, NASA, Office of Safety and Mission Assurance, Washington, D.C., July 1995.
14. J.D. Musa, "Operational Profiles in Software Reliability Engineering," IEEE Software, Mar. 1993, pp. 14-32.
15. W.S. Humphrey, "Using a Defined and Measured Personal Software Process," IEEE Software, May 1996, pp. 77-88.