@conference {D{\textquoteright}Ambrogio2012234, title = {A method for the prediction of software reliability}, booktitle = {Proceedings of the 6th IASTED International Conference on Software Engineering and Applications, SEA 2002}, year = {2012}, note = {cited By 16}, pages = {234-240}, publisher = {Acta Press}, organization = {Acta Press}, abstract = {This paper deals with the reliability assessment of component-based software to predict the software product reliability at the early stage. The proposed approach transforms a specification written in a semi-formal language into a stochastic model to be used for reliability evaluation. The paper assumes an UML-based system specification and introduces a method to map the specification onto a failure model. The method enables software designers with no specific knowledge of reliability theory to predict at design time the reliability of the final product, thus introducing lifecycle reliability prediction into their development best practices. The method is illustrated by use of an application case study that deals with the development of distributed software. A software architecture that allows the method to be easily integrated into UML-based software development environments is also introduced. The architecture is based on the use of XML (eXtensible Markup Language) to represent both the UML system specification and the failure model.}, keywords = {Application programs, Automatic modeling, Component based software, Forecasting, Formal languages, Reliability assessments, Reliability Evaluation, Reliability prediction, Reliability theory, Semi-formal languages, Software development environment, Software engineering, Software reliability, Specifications, XML, XML (extensible markup language)}, isbn = {0889863237; 9780889863231}, url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-84904159409\&partnerID=40\&md5=e3371411e5b757b27cda93c405253da1}, author = {Andrea D{\textquoteright}Ambrogio and Iazeolla, G. and Mirandola, R.} }