메뉴 건너뛰기




Volumn 21, Issue 3-4, 2001, Pages 353-361

Application of total quality management techniques to safety analysis in software product development

Author keywords

[No Author keywords available]

Indexed keywords

SOFTWARE SAFETY ANALYSIS;

EID: 0035086236     PISSN: 02675730     EISSN: None     Source Type: Journal    
DOI: 10.1504/IJTM.2001.002918     Document Type: Article
Times cited : (2)

References (25)
  • 1
    • 0028257391 scopus 로고
    • Critical system properties: Survey and taxonomy
    • Rushby, J. (1994) 'Critical system properties: survey and taxonomy', Reliability Engineering and System Safety, Vol. 43, No. 1, pp. 189-219.
    • (1994) Reliability Engineering and System Safety , vol.43 , Issue.1 , pp. 189-219
    • Rushby, J.1
  • 4
    • 0026188075 scopus 로고
    • Safety verification of ADA programs using software fault trees
    • Leverson, N., Cha, S. and Shimeall, T. (1991) 'Safety verification of ADA programs using software fault trees', IEEE Software, Vol. 9, No. 7, pp.48-57.
    • (1991) IEEE Software , vol.9 , Issue.7 , pp. 48-57
    • Leverson, N.1    Cha, S.2    Shimeall, T.3
  • 5
  • 7
    • 85081433070 scopus 로고
    • A growing gap in software
    • Newport, J. (1986) 'A growing gap in software', Fortune, Vol. 124, No. 15, pp.56-61.
    • (1986) Fortune , vol.124 , Issue.15 , pp. 56-61
    • Newport, J.1
  • 8
    • 85081428762 scopus 로고
    • Washington, DC, US Government Printing Office
    • United States Department of Defence (1988) Military Standard 882B, Washington, DC, US Government Printing Office.
    • (1988) Military Standard 882B
  • 9
    • 85081429315 scopus 로고
    • Washington, DC, US Government Printing Office
    • United States Air Force (1991) Software Systems Safety Handbook (SSHI-1), Washington, DC, US Government Printing Office.
    • (1991) Software Systems Safety Handbook (SSHI-1)
  • 11
    • 0028203155 scopus 로고
    • Critical task of writing dependable software
    • Knight, J. and Littlewood, B. (1994) 'Critical task of writing dependable software', IEEE Sofware, Vol. 11, No. 1, pp.16-20.
    • (1994) IEEE Sofware , vol.11 , Issue.1 , pp. 16-20
    • Knight, J.1    Littlewood, B.2
  • 12
    • 0042023007 scopus 로고
    • Formal methods: Use and relevance for the development of safety-critical systems
    • Barroca, L. and McDermid, J. (1992) 'Formal methods: Use and relevance for the development of safety-critical systems', The Computer Journal, Vol. 35, No. 6, pp.579-591.
    • (1992) The Computer Journal , vol.35 , Issue.6 , pp. 579-591
    • Barroca, L.1    McDermid, J.2
  • 13
    • 0028194745 scopus 로고
    • Experience with formal methods in critical systems
    • Gerhart, S., Craigen, D. and Ralston, T. (1994) 'Experience with formal methods in critical systems', IEEE Software, Vol. 11, No. 1, pp.21-30.
    • (1994) IEEE Software , vol.11 , Issue.1 , pp. 21-30
    • Gerhart, S.1    Craigen, D.2    Ralston, T.3
  • 14
    • 85081423901 scopus 로고
    • Comprehensive safety analysis technique
    • Allocco, M. (1992) 'Comprehensive safety analysis technique', Professional Safety, Vol. 37, No. 4, pp.26-29.
    • (1992) Professional Safety , vol.37 , Issue.4 , pp. 26-29
    • Allocco, M.1
  • 15
    • 85081424038 scopus 로고
    • Design phase considerations for safety critical software systems
    • Gowen, L.D. and Collofello, J.S. (1995) 'Design phase considerations for safety critical software systems', Professional Safety, Vol. 40, No. 7, pp.20-25.
    • (1995) Professional Safety , vol.40 , Issue.7 , pp. 20-25
    • Gowen, L.D.1    Collofello, J.S.2
  • 20
    • 0003964033 scopus 로고
    • Cambridge, MA, M.I.T. Center for Advanced Engineering Study, Cambridge University Press
    • Deming, W. (1988) Out of the Crisis, Cambridge, MA, M.I.T. Center for Advanced Engineering Study, Cambridge University Press.
    • (1988) Out of the Crisis
    • Deming, W.1
  • 21
    • 0027634073 scopus 로고
    • TQM in software development organizations
    • Powers, J. (1993) 'TQM in software development organizations', Quality Progress, Vol. 38, No. 11, pp.79-80.
    • (1993) Quality Progress , vol.38 , Issue.11 , pp. 79-80
    • Powers, J.1
  • 22
    • 0027677456 scopus 로고
    • TQM for technical teams
    • Zultner, R.E. (1993) 'TQM for technical teams', Communications of the ACM, Vol. 36, No. 2, pp.79-90.
    • (1993) Communications of the ACM , vol.36 , Issue.2 , pp. 79-90
    • Zultner, R.E.1
  • 25
    • 84977289768 scopus 로고
    • Total quality management for a large software project
    • Colson, J. and Prell, J. (1992) 'Total quality management for a large software project', AT & T Technical Journal, Vol. 71, No. 3, pp.4855.
    • (1992) AT & T Technical Journal , vol.71 , Issue.3 , pp. 4855
    • Colson, J.1    Prell, J.2


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