메뉴 건너뛰기




Volumn 14, Issue 6, 1997, Pages 71-76

N-version design versus one good version

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; COMPUTER HARDWARE; COMPUTER SOFTWARE; COMPUTER SYSTEM RECOVERY; COST EFFECTIVENESS; FAILURE ANALYSIS; RELIABILITY;

EID: 0031273155     PISSN: 07407459     EISSN: None     Source Type: Journal    
DOI: 10.1109/52.636672     Document Type: Review
Times cited : (40)

References (12)
  • 2
    • 0022581573 scopus 로고
    • An Experimental Evaluation of the Assumption of Independence in Multiversion Programming
    • J.C. Knight and N.G. Leveson, "An Experimental Evaluation of the Assumption of Independence in Multiversion Programming," IEEE Trans. Software Eng., Vol. 12, No. 1, 1986, pp. 96-109.
    • (1986) IEEE Trans. Software Eng. , vol.12 , Issue.1 , pp. 96-109
    • Knight, J.C.1    Leveson, N.G.2
  • 3
    • 0022582303 scopus 로고
    • An Empirical Study of Failure Probabilities in Multi-Version Software
    • IEEE Computer Soc., Los Alamitos, Calif.
    • J.C. Knight and N.G. Leveson, "An Empirical Study of Failure Probabilities in Multi-Version Software," FTCS-16, IEEE Computer Soc., Los Alamitos, Calif., 1986.
    • (1986) FTCS-16
    • Knight, J.C.1    Leveson, N.G.2
  • 4
    • 0025385672 scopus 로고
    • Analysis of Faults in an N-Version Software Experiment
    • S.S. Brilliant et al., "Analysis of Faults in an N-Version Software Experiment," IEEE Trans. Software Eng., Vol. 16, No. 2, 1990, pp. 238-247.
    • (1990) IEEE Trans. Software Eng. , vol.16 , Issue.2 , pp. 238-247
    • Brilliant, S.S.1
  • 7
    • 0031099876 scopus 로고    scopus 로고
    • Reexamining the Fault Density-Component Size Connection
    • Mar.
    • L. Hatton, "Reexamining the Fault Density-Component Size Connection," IEEE Software, Mar. 1997, pp. 89-97.
    • (1997) IEEE Software , pp. 89-97
    • Hatton, L.1
  • 8
    • 0031078267 scopus 로고    scopus 로고
    • Investigating the Influence of Formal Methods
    • Feb.
    • S.L. Pfleeger and L. Hatton, "Investigating the Influence of Formal Methods," Computer, Feb. 1997, pp. 33-43.
    • (1997) Computer , pp. 33-43
    • Pfleeger, S.L.1    Hatton, L.2
  • 9
    • 3943083374 scopus 로고
    • The Need for Evidence from Disparate Sources to Evaluate Software Safety
    • F. Redmill and T. Anderson, eds., Springer-Verlag, London
    • B. Littlewood, "The Need for Evidence from Disparate Sources to Evaluate Software Safety," Directions in Safety-Critical Systems, F. Redmill and T. Anderson, eds., Springer-Verlag, London, 1993, p. 285.
    • (1993) Directions in Safety-Critical Systems , pp. 285
    • Littlewood, B.1
  • 10
    • 0028516369 scopus 로고
    • How Accurate is Scientific Software?
    • Oct.
    • L. Hatton and A. Roberts, "How Accurate is Scientific Software?" IEEE Trans. Software Eng., Oct. 1994, pp. 785-797.
    • (1994) IEEE Trans. Software Eng. , pp. 785-797
    • Hatton, L.1    Roberts, A.2
  • 11
    • 84945714159 scopus 로고
    • PODS - A Project on Diverse Software
    • P.G. Bishop et al., "PODS - A Project on Diverse Software," IEEE Trans. Software Eng., Vol. SE-12, No. 9, 1986, pp. 929-940.
    • (1986) IEEE Trans. Software Eng. , vol.SE-12 , Issue.9 , pp. 929-940
    • Bishop, P.G.1
  • 12
    • 0002635919 scopus 로고    scopus 로고
    • Software Failures - Follies and Fallacies
    • L. Hatton, "Software Failures - Follies and Fallacies," IEE Rev., Vol. 43, No. 2, 1997, pp. 49-54.
    • (1997) IEE Rev. , vol.43 , Issue.2 , pp. 49-54
    • Hatton, L.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.