The incremental development process in cleanroom software engineering

Decision Support Systems

Volumn 17, Issue 1 SPEC. ISS., 1996, Pages 55-71

  Trammell, Carmen J ^a   Pleszkoch, Mark G ^b   Linger, Richard C ^c   Hevner, Alan R ^d  

^a University of Tennessee Knoxville   (United States)

^b IBM   (United States)

^c CARNEGIE MELLON UNIVERSITY   (United States)

^d UNIVERSITY OF SOUTH FLORIDA   (United States)

Author keywords

Cleanroom software engineering; Incremental development; Software life cycle; Software process model

Indexed keywords

CLEAN ROOMS; COMPUTER SIMULATION; COMPUTER SOFTWARE; MANAGEMENT; PLANNING; PROBABILITY; QUALITY ASSURANCE; RELIABILITY; SPECIFICATIONS; STATISTICAL TESTS;

CLEANROOM SOFTWARE ENGINEERING; INCREMENTAL DEVELOPMENT; SOFTWARE LIFE CYCLE; SOFTWARE PROCESS MODEL;

SOFTWARE ENGINEERING;

EID: 0030127416     PISSN: 01679236     EISSN: None     Source Type: Journal    
DOI: 10.1016/0167-9236(95)00022-4     Document Type: Article

References (21)

1. B. Boehm, A Spiral Model of Software Development and Enhancement, Computer, May (1988) 61-72.
2. B. Boehm, Software Process Models: Some New Directions, Journal of the Society for Software Quality, April (1994) 1-9 and May (1994) 1-14.
3. F. Brooks, No Silver Bullet: Essence and Accidents of Software Engineering, Computer, April (1987) 10-19.
4. R. Cobb and H. Mills, Engineering Software Under Statistical Quality Control, IEEE Software, 7(6) November (1990).
5. Department of Defense, Report of the Defense Science Board Task Force on Military Software, September (1987).
6. P. Hausler, R. Linger and C. Trammell, Adopting Cleanroom Software Engineering with a Phased Approach, IBM Systems Journal, 33(1) (1994).
7. A. Hevner and H. Mills, Box Structure Methods for Systems Development with Objects, IBM Systems Journal, 32(2) (1993).
8. A. Hevner and H. Mills, Box-Structured Requirements Determination Methods, Decision Support Systems 13 (1995) 223-239.
9. R. Linger, Cleanroom Process Model, IEEE Software, March (1994).
10. R. Linger and H. Mills, A Case Study in Cleanroom Software Engineering: The IBM COBOL Structuring Facility, Proc. 12th Annual Int. Computer Software and Applications Conf., Los Alamitos, CA (IEEE Computer Society Press, 1988).
11. R. Linger, H. Mills and B. Witt, Structured Programming: Theory and Practice (Addison-Wesley, Reading, MA, 1979).
12. D. McCracken and M. Jackson, Life-Cycle Concept Considered Harmful, ACM Software Engineering Notes, April (1982) 29-32.
13. H. Mills, Top-Down Programming in Large Systems, in: R. Ruskin, Ed., Debugging Techniques in Large Systems (Prentice Hall, Englewood Cliffs, NJ, 1971).
14. H. Mills, R. Linger and A. Hevner, Principles of Information Systems Analysis and Design (Academic Press, NY, 1986).
15. M. Pleszkoch, P. Hausler, A. Hevner, and R. Linger, Function-Theoretic Principles of Program Understanding, Proc. 23rd Annual Hawaii Int. Conf. on System Sciences, January 1990.
16. J. Poore, H. Mills, S. Hopkins, and J. Whittaker, Cleanroom Reliability Manager: A Case Study Using Cleanroom with Box Structures ADL, Software Engineering Technology Report, IBM STARS CDRL 1940, May (1990).
17. J. Poore, H. Mills, and D. Mutchler, Planning and Certifying Software System Reliability, IEEE Software, January (1993).
18. W.V.O. Quine, Word and Object (MIT Press, Cambridge, MA, 1960).
19. S. Rosen, The Design/C Language for Cleanroom Software Engineering, Proc. 23rd Annual Hawaii Int. Conf. on System Sciences, January (1990).
20. J. Stoy, Denotational Semantics (MIT Press, Cambridge, MA, 1977).
21. L. Tann, OS32 and Cleanroom, Proc. 1st Annual European Industrial Symposium on Cleanroom Software Engineering, Q-Labs AB, IDEON Research Park, S-223 70 Lund, Sweden.