Planning and Certifying Software System Reliability

IEEE Software

Volumn 10, Issue 1, 1993, Pages 88-99

  Poore, J H ^a   Mills, Harlan D ^b  

^a UNIVERSITY OF TENNESSEE   (United States)

^b Software Engineering Technology ^*  (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0002080664     PISSN: 07407459     EISSN: None     Source Type: Journal    
DOI: 10.1109/52.207234     Document Type: Article

References (10)

1. J. Poore, D. Mutchler, and J.L. Mills, “STARS-Clean room Reliability: Clean room Ideas in the STARS Environment,” Tech. Report IBM STARS CDRL 1710, Software Engineering Technology (available from Asset, Morgantown, W.V.), 1989.
2. D. Pamas, A. van Schouwen, and S. Kwan, “Evaluation of Safety-Critical Software,” Comm., ICM, June 1990, pp. 636–648.
3. R. Cheung, “A User-Oriented Software Reliability Model,” IEEE Trans. Software Engineering, Mar. 1980, pp. 118-125.
4. K. Siegrist, “Reliability of Systems with Markov Transfer of Control,” IEEE Trans. Software Engineering, July 1988, pp. 1049–1053.
5. A. Currit, M. Dyer, and J.L. Mills, “Certifying the Reliability of Software,” IEEE Trans. Software Engineering, 1986, pp. 3–11.
6. J.L. Mills, M. Dyer, and R. Linger, “Cleanroom Software Engineering,” IEEE Software, Sept. 1987, pp. 19-24.
7. J. Whittaker, “Markov Chain Techniques for Software Testing and Reliability Analysis,” PhD dissertation, CS Dept., Univ. of Tennessee, Knoxville, May 1992.
8. J. Whittaker and J. Poore, “Markov Analysis of Software Specifications,”ACM Trans. Software Engineering and Methodology, to be published.
9. R. Linger, J.L. Mills, and B. Witt, Structured Programming: Theory and Practice, Addison-Wesley, Reading, Mass., 1979.
10. J. Poore et al., “Cleanroom Reliability Manager: A Case Study Using Cleanroom with Box Structures ADL,” Tech. Report IBM STARS CDRL 1940, Software Engineering Technology, (available from Asset, Morgantown, W.V.), 1990.