摘要: … Software Safety and Reliability … This original text introduces the concepts, techniques, and approaches used to achieve and assess software safety and reliability. Debra …
sci-hub.se 参考文章(7)
Mark C. Paulk, Capability Maturity Model for Software, Version 1.1 Defense Technical Information Center. ,(1993) , 10.21236/ADA263403
James H. Fetzer, Program verification: the very idea Communications of The ACM. ,vol. 31, pp. 1048- 1063 ,(1988) , 10.1145/48529.48530
J.M. Voas, K.W. Miller, Software testability: the new verification IEEE Software. ,vol. 12, pp. 17- 28 ,(1995) , 10.1109/52.382180
Ivars Peterson, A Digital Matter of Life and Death Science News. ,vol. 133, pp. 170- ,(1988) , 10.2307/3972488
Reginald Stamp, LONDON AMBULANCE SERVICE The Lancet. ,vol. 251, pp. 40- 41 ,(1948) , 10.1016/S0140-6736(48)92243-0
Jonathan Bowen, Victoria Stavridou, Safety-critical systems, formal methods and standards Software Engineering Journal. ,vol. 8, pp. 189- 209 ,(1993) , 10.1049/SEJ.1993.0025
R.H. Cobb, H.D. Mills, Engineering software under statistical quality control IEEE Software. ,vol. 7, pp. 45- 54 ,(1990) , 10.1109/52.60601