Software Process Evolution at the SEL

IEEE Software

Volumn 11, Issue 4, 1994, Pages 58-66

  Basili, Victor ^a   Green, Scott ^b  

^a UNIVERSITY OF MARYLAND   (United States)

^b NASA GODDARD SPACE FLIGHT CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

PROCESS CONTROL; PROCESS ENGINEERING; QUALITY CONTROL;

EMPIRICAL EVALUATION; SOFTWARE METRICS;

SOFTWARE ENGINEERING;

EID: 0028467685     PISSN: 07407459     EISSN: None     Source Type: Journal    
DOI: 10.1109/52.300090     Document Type: Article

References (7)

1. V. Basili and R. Selby, “Comparing the Effectiveness of Software Testing Strategies,” IEEE Trans. Software Eng. Dec. 1987, pp. 1278–1296.
2. R. Linger, H. Mills, and B. Witt, Structured Programming; Theory and Practice, Addison-Wesley, Reading, Mass., 1979.
3. H. Mills, M. Dyer, and R. Linger, “Cleanroom Software Engineering,” IEEE Software, Sept. 1987, pp. 19–24.
4. R. Selby, Jr., V. Basili, and T. Baker, “Cleanroom Software Development: An Empirical Evaluation,” IEEE Trans. Software Eng., Sept. 1987 pp. 1027–1037.
5. L. Landis et al., “Recommended Approach to Software Development: Revision 3,” Tech. Report SEL-Bl-305, Software Engineering Laboratory, Greenbelt, Md., 1992.
6. S. Green, Software Engineering Laboratary (SEL) Cleanroom Process Model, Tech. Report SEL-91-004, Software Engineering Laboratory, Greenbelt, Md,.1991.
7. H. Mills, “Stepwise Refinement and Verification in Box-Structured Systems,” IEEE Software, June 1988, pp. 23–36.