A method for the prediction of software reliability

Proceedings of the 6th IASTED International Conference on Software Engineering and Applications, SEA 2002

Volumn , Issue , 2012, Pages 234-240

  D'Ambrogio, A ^a   Iazeolla, G ^a   Mirandola, R ^a  

^a UNIVERSITY OF ROME TOR VERGATA   (Italy)

Author keywords

Automatic model production; Reliability prediction; Software reliability

Indexed keywords

APPLICATION PROGRAMS; FORECASTING; FORMAL LANGUAGES; RELIABILITY THEORY; SOFTWARE ENGINEERING; SPECIFICATIONS; XML;

AUTOMATIC MODELING; COMPONENT BASED SOFTWARE; RELIABILITY ASSESSMENTS; RELIABILITY EVALUATION; RELIABILITY PREDICTION; SEMI-FORMAL LANGUAGES; SOFTWARE DEVELOPMENT ENVIRONMENT; XML (EXTENSIBLE MARKUP LANGUAGE);

SOFTWARE RELIABILITY;

EID: 84904159409     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (17)

1. N. Leveson, Safeware, Addison-Wesley, 1996.
2. M. R. Lu (ed.), Handbook of Software Reliability Engineering, McGraw-Hill, 1995.
3. S. Schach, Classical and Object oriented software engineering, McGraw-Hill, 1999.
4. R. Cheung, A user oriented software reliability model, IEEE Transaction on Software Engineering, 6(2):118-125, February 1980.
5. V. Cortellessa, A. D'Ambrogio, and G. Iazeolla, Automatic derivation of software performance models from case documents, Performance Evaluation, 45(2-3):81-106, July 2001.
6. K. Goseva-Popstojanova and K. Trivedi, Architecture-based approach to reliability assessment of software systems, Performance Evaluation, 45(2-3):179-204, July 2001.
7. B. Littlewood, Software reliability model for modular program structure, IEEE Transaction on Reliability, 28(3):241-246, 1979.
8. J. Laprie, Dependability evaluation of software system in operation, IEEE Transaction on Software Engineering, 10(6):701-714, June 1984.
9. A. Bondavalli, I. Majzik, and I. Mura, Automated dependability analysis of uml designs, in ISORC99 Conference Proceedings. IEEE, 1999.
10. V. Cortellessa, G. Iazeolla, and R. Mirandola, Early performance verification for object-oriented software systems, IEE Proceedings on Software, June 2000.
11. R. Pooley and P. King, The unified modeling language and performance engineering, IEE Proceedings on Software, 146(1):2-10, February 1999.
12. C. Wang and K. Trivedi, Integration of specification form modeling and specification for system design, in Proceedings of the 14th International Conference Application and Theory of Petri Nets, LNCS, 691, Springer Verlag, 1993.
13. Proceedings of the Second International Workshop on Software Performance, ACM, September 2000.
14. S. Yacoub, B. Cukic, and H. Ammar, Scenario-based reliability analysis of component-based software, in Proceedings of the 8th International Symposium on Software Reliability Engineering (ISSRE '99), IEEE, 1999.
15. OMG, Unified Modeling Language Specification, ver. 1.3, June 1999.
16. W. W. W. Consortium, Extensible Markup Language (XML) 1.0, W3C ORG, http://www.w3.org/TR/2000/REC-xml-200010006, 2000.
17. Relex, Relex Reliability Software, http://www.relexsoftware.com, 2001.