Towards a unified approach to the representation of, and reasoning with, probabilistic risk information about software and its system interface
暂无分享,去创建一个
[1] S. L. Comford,et al. Towards more accurate life cycle risk management through integration of ddp and pra , 2003, 2003 IEEE Aerospace Conference Proceedings (Cat. No.03TH8652).
[2] Jeffrey S. Lavell,et al. Report on the Loss of the Mars Polar Lander and Deep Space 2 Missions , 2000 .
[3] P Haapanen,et al. Failure mode and effects analysis of software-based automation systems , 2002 .
[4] David Coppit,et al. The Galileo fault tree analysis tool , 1999, Digest of Papers. Twenty-Ninth Annual International Symposium on Fault-Tolerant Computing (Cat. No.99CB36352).
[5] S.L. Cornford,et al. DDP: a tool for life-cycle risk management , 2006, IEEE Aerospace and Electronic Systems Magazine.
[6] Martin S. Feather,et al. Quantitative risk-based requirements reasoning , 2003, Requirements Engineering.
[7] Norman E. Fenton,et al. A Critique of Software Defect Prediction Models , 1999, IEEE Trans. Software Eng..
[8] Norman Fenton,et al. A Probabilistic Model for Software Defect Prediction , 2001 .
[9] Robyn R. Lutz,et al. Requirements analysis using forward and backward search , 1997, Ann. Softw. Eng..
[10] Martin S. Feather,et al. 4.6.1 Combining Heuristic Search, Visualization and Data Mining for Exploration of System Design Spaces , 2004 .
[11] W E Vesely,et al. Fault Tree Handbook , 1987 .
[12] Vasant Honavar,et al. A Software Fault Tree Approach to Requirements Analysis of an Intrusion Detection System , 2002, Requirements Engineering.
[13] Martin S. Feather,et al. Optimizing the design of end-to-end spacecraft systems using risk as a currency , 2002, Proceedings, IEEE Aerospace Conference.
[14] Axel van Lamsweerde,et al. Integrating obstacles in goal-driven requirements engineering , 1998, Proceedings of the 20th International Conference on Software Engineering.
[15] Joanne Bechta Dugan,et al. Dynamic Fault Tree Analysis of a Reconfigurable Software System , 2001 .