@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.}
}
@article {D{\textquoteright}Ambrogio2005127,
	title = {Metadata-driven design of integrated environments for software performance validation},
	journal = {Journal of Systems and Software},
	volume = {76},
	number = {2},
	year = {2005},
	note = {cited By 5},
	pages = {127-146},
	abstract = {Lifecycle validation of the performance of software products (i.e., the prediction of the product ability to satisfy the user performance requirements) encompasses the production of performance models from CASE documents. The model production activity is a critical, time-consuming and error-prone activity so that lifecycle validation is still not widely accepted and applied. The reason is twofold: the lack of methods for the automatic derivation of software performance models from CASE documents and the lack of environments that implement and integrate such methods. A number of methods for the automatic derivation of software performance models from CASE documents has been already proposed in literature, without however solving the automation problem. This paper instead faces up to such problem, by introducing an integrated and standards-based environment for the automatic derivation and evaluation of queueing-based performance models. The environment is based on the use of standards for metadata exchange (MOF, XMI), to ease the integration of the most common UML-based CASE tools, thus enabling software designers to smoothly introduce performance validation activities into their best development practices. {\textcopyright} 2004 Elsevier Inc. All rights reserved.},
	keywords = {Codes (standards), Computer aided software engineering, Computer simulation, Lifecycle validation, Metadata, Metamodeling, Performance, Quality control, Software environments, Software performance, XML},
	issn = {01641212},
	doi = {10.1016/j.jss.2004.04.014},
	url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-11144271040\&partnerID=40\&md5=36f844fc57fc3cf9ba5a51344b5472d2},
	author = {Andrea D{\textquoteright}Ambrogio and Iazeolla, G.}
}
