메뉴 건너뛰기




Volumn 45, Issue 2-3, 2001, Pages 179-204

Architecture-based approach to reliability assessment of software systems

Author keywords

Additive models; Architecture based software reliability; Path based models; State based models

Indexed keywords

COMPUTER ARCHITECTURE; COMPUTER SOFTWARE SELECTION AND EVALUATION; MATHEMATICAL MODELS; RELIABILITY THEORY;

EID: 0035400468     PISSN: 01665316     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0166-5316(01)00034-7     Document Type: Article
Times cited : (365)

References (62)
  • 25
    • 84958766361 scopus 로고    scopus 로고
    • Derivation of Petri net performance models from UML specifications of communications software
    • Proceedings of the 11th International Conference on Tools and Techniques for Computer Performance Evaluation (TOOLS'2000), Springer, Berlin
    • (2000) Lecture Notes in Computer Science , vol.1786 , pp. 262-276
    • King, P.1    Pooley, R.2
  • 41
    • 84941181463 scopus 로고
    • Operational profiles in software reliability engineering
    • (1993) IEEE Software , vol.10 , Issue.2 , pp. 14-32
    • Musa, J.D.1
  • 53
    • 0032096714 scopus 로고    scopus 로고
    • Certifying off-the-shelf software components
    • (1998) IEEE Comput. , vol.31 , Issue.6 , pp. 53-59
    • Voas, J.M.1
  • 54
    • 84980583476 scopus 로고
    • Integration of specification form modeling and specification for system design
    • Proceedings of the 14th International Conference Application and Theory of Petri Nets, Springer, Berlin
    • (1993) Lecture Notes in Computer Science , vol.691 , pp. 473-492
    • Wang, C.1    Trivedi, K.S.2
  • 60
    • 0004845307 scopus 로고    scopus 로고
  • 61
    • 0004912814 scopus 로고    scopus 로고
  • 62
    • 0004844154 scopus 로고    scopus 로고


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