Multi-legged arguments:the impact of diversity upon confidence in dependability arguments
暂无分享,去创建一个
[1] C. Hennebert,et al. SACEM software validation , 1990, [1990] Proceedings. 12th International Conference on Software Engineering.
[2] Bev Littlewood,et al. Conceptual Modeling of Coincident Failures in Multiversion Software , 1989, IEEE Trans. Software Eng..
[3] D. M. Hunns,et al. Software-based protection for Sizewell B: the regulator's perspective , 1992 .
[4] Nancy G. Leveson,et al. A reply to the criticisms of the Knight & Leveson experiment , 1990, SOEN.
[5] Bev Littlewood,et al. Modeling software design diversity: a review , 2001, CSUR.
[6] Dave E. Eckhardt,et al. A Theoretical Basis for the Analysis of Multiversion Software Subject to Coincident Errors , 1985, IEEE Transactions on Software Engineering.
[7] Nancy G. Leveson,et al. An experimental evaluation of the assumption of independence in multiversion programming , 1986, IEEE Transactions on Software Engineering.
[8] Edsger W. Dijkstra,et al. Notes on structured programming , 1970 .
[9] David Wright,et al. Some Conservative Stopping Rules for the Operational Testing of Safety-Critical Software , 1997, IEEE Trans. Software Eng..
[10] B. Fischhoff,et al. Assessing uncertainty in physical constants , 1986 .
[11] Bev Littlewood. The Use of Proof in Diversity Arguments , 2000, IEEE Trans. Software Eng..