메뉴 건너뛰기




Volumn R-28, Issue 3, 1979, Pages 247-249

Software Failure Modes and Effects Analysis

Author keywords

Fault tolerant software; Self checking software; Software failure modes and effects analysis; Software reliability

Indexed keywords

COMPUTER SYSTEMS, DIGITAL - FAULT TOLERANT CAPABILITY; FAILURE ANALYSIS;

EID: 0018504302     PISSN: 00189529     EISSN: 15581721     Source Type: Journal    
DOI: 10.1109/TR.1979.5220578     Document Type: Article
Times cited : (95)

References (20)
  • 3
    • 84976792423 scopus 로고
    • The establishment and use of measures to evaluate the quality of software designs
    • Nov
    • B.H. Yin, J.W. Winchester, “The establishment and use of measures to evaluate the quality of software designs”, Proc. Software Quality and Assurance Workshop, ACM, 1978 Nov, pp 45–52.
    • (1978) Proc. Software Quality and Assurance Workshop ACM , pp. 45-52
    • Yin, B.H.1    Winchester, J.W.2
  • 4
    • 0018014988 scopus 로고
    • Software engineering - the turning point
    • Sep
    • Anthony I. Wasserman, L.A. Belady, “Software engineering - the turning point”, Computer, 1978 Sep, pp 30-41.
    • (1978) Computer , pp. 30-41
    • Wasserman, A.I.1    Belady, L.A.2
  • 5
    • 84939700655 scopus 로고    scopus 로고
    • unpublished private correspondence
    • R.O. Lewis, unpublished private correspondence.
    • Lewis, R.O.1
  • 8
  • 10
    • 84939747729 scopus 로고
    • Lloyd, Myron Lipow
    • Second Edition Published by the Authors, Redondo Beach California
    • David K. Lloyd, Myron Lipow, Reliability: Management, Methods, and Mathematics, Second Edition, Published by the Authors, Redondo Beach, California, 1977, p 502.
    • (1977) Reliability: Management, Methods, and Mathematics , pp. 502.
    • David1
  • 12
    • 84865356083 scopus 로고
    • TRW-SS-77-04 November
    • R.J. Lano, The N2 Chart, TRW-SS-77-04, 1977 November.
    • (1977) The N2 Chart
    • Lano, R.J.1
  • 13
    • 84939753315 scopus 로고
    • Use of symbolic execution in verification and validation
    • NASA Conf. Publ. 2064 Nov
    • M.S. Fuju, M.A. Ikezawa, “Use of symbolic execution in verification and validation”, Tools for Embedded Computer System Software, NASA Conf. Publ. 2064, 1978 Nov, pp 113–116.
    • (1978) Tools for Embedded Computer System Software , pp. 113-116
    • Fuju, M.S.1    Ikezawa, M.A.2
  • 14
    • 0016779598 scopus 로고
    • A view of program verification
    • IEEE Catalog No. 75CH0940- 7CSR Apr.
    • R.L. London, “A view of program verification,” in Proc. International Conf. Reliable Software, IEEE Catalog No. 75CH0940- 7CSR, 1975 Apr, pp 534–545.
    • (1975) Proc. International Conf. Reliable Software , pp. 534-545
    • London, R.L.1
  • 15
    • 84939718958 scopus 로고
    • A panel session-formal methods in programming ming - when will they be practical?
    • Jun
    • K.N. Levitt, et al., “A panel session-formal methods in programming ming - when will they be practical?” Proc. 1978 National Computer Conf. AFIPS Press, 1978 Jun, pp 665–668.
    • (1978) Proc. National Computer Conf AFIPS Press , pp. 665-668
    • Levitt, K.N.1
  • 18
    • 0017215219 scopus 로고
    • Fault-tolerant software for real-time applications
    • Dec.
    • H. Hecht, “Fault-tolerant software for real-time applications,” ACM Computing Surveys, vol 8, 1976 Dec, pp 391–407.
    • (1976) ACM Computing Surveys , vol.8 , pp. 391
    • Hecht, H.1
  • 19
    • 0016522101 scopus 로고
    • System structure for software fault tolerance
    • Jun
    • B. Randall, “System structure for software fault tolerance,” IEEE Trans. Software Engineering, vol 1, 1975 Jun, pp 220–232.
    • (1975) IEEE Trans. Software Engineering , vol.1 , pp. 220-232
    • Randall, B.1


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