A New Software Reliability Framework

［1］Dyer M, Mills H D. The Cleanroom Approach to Reliable Software Development. In: Proc. Validation Methods Research for Fault-Tolerant Avionics and Control System Sub-Working-Group Meeting: Production of Reliable Flight-Crucial Software. Research Triangle Institute, NC. 1981 ［2］Dyer M. The Cleanroom Approach to Quality Software Development. Wiley, 1992 ［3］Mills H D, Linger R C, Hevner A R. Principles of Information Systems Analysis and Design. Academic Press, 1985 ［4］Mills H D, Linger R C, Hevner A R. IBM Systems Journal, 1987, 26(4)： 395 ［5］Mao H. The Box-Structure Development Method. [Ph.D Dissertation]. University of Tennessee. Knoxville. 1993 ［6］Deck M D, M G Pleszkoch, Linger R C, et al. Extended Semantics for Box Structures. In: Proc. 25th Hawaii International Conference on System Sciences. 1992.382 ［7］Duke R, King P, Rose G A, et al. The Object-Z Specification Language. In: Technology of Object-Oriented Languages and Systems:TOOL5. Prentice-Hall, 1991.465 ［8］Lano K. Z++, an object-oriented extension to Z. In: Z User Workshop, 5th Z User Meeting. Oxford. Springer-Verlag, 1991.151 ［9］Geist R, Trivedi K S. IEEE Computer, 1990, (7)： 52 ［10］Meyer J F. Performability: A Retrospective and Some Points to the Future Performance Evaluation. 1992. 14, 139 ［11］Dong Tang, Myron Hecht, Jady Handal, et al. MEADEP and Its Applications in Evaluating Dependability for Air Traffic Control Systems. In: Annual Reliability and Maintainability Symposium 1998 Proceedings. 1998.195 ［12］Yao Wenbin. Research on Reliability Software Development Methods and the Design & Implementation of RSDT. [Master Degree Thesis]. Harbin Institute of Technology. 1998