Improving software robustness with dependability cases
暂无分享,去创建一个
[1] W.N. Toy,et al. Fault-tolerant design of local ESS processors , 1978, Proceedings of the IEEE.
[2] Marilyn W. Bush,et al. Improving software quality: the use of formal inspections at the Jet Propulsion Laboratory , 1990, [1990] Proceedings. 12th International Conference on Software Engineering.
[3] Edward Kit,et al. Software testing in the real world - improving the process , 1995 .
[4] Wayne A. Wickelgren,et al. Learning and memory , 1978 .
[5] Barry W. Boehm,et al. Software Engineering Economics , 1993, IEEE Transactions on Software Engineering.
[6] Robert S. Swarz,et al. The theory and practice of reliable system design , 1982 .
[7] Flaviu Cristian,et al. Exception Handling and Tolerance of Software Faults , 1995 .
[8] Nancy Pennington,et al. Chapter 6 The Structure of Memory Performance in Experts: Implications for Memory in Everyday Life , 1993 .
[9] T. Griffin. Semiology of graphics: diagrams, networks, maps. Bertin, Jacques (trans. W. j. Berg). The University of Wisconsin Press, Madison, 1983. 416 pages. ISBN 0 299 09060 4. US$75.00, cloth. , 1987 .
[10] D. Spalding. The Principles of Psychology , 1873, Nature.
[11] Nancy G. Leveson,et al. Safeware: System Safety and Computers , 1995 .
[12] J. Shaoul. Human Error , 1973, Nature.
[13] V. Rich. Personal communication , 1989, Nature.
[14] W E Vesely,et al. Fault Tree Handbook , 1987 .
[15] Roger Shaw. Safety and Reliability of Software Based Systems , 1997, Springer London.
[16] Roger Shaw,et al. Safety Cases — How Did We Get Here? , 1997 .
[17] Joseph G. Voelkel,et al. Guide to Quality Control , 1982 .
[18] Marilyn W. Bush. Improving software quality: the use of formal inspections at the JPL , 1990, ICSE '90.
[19] Peter G. Bishop,et al. The SHIP Safety Case Approach , 1995, SAFECOMP.