@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.}
}
@conference {D{\textquoteright}Ambrogio2005366,
	title = {Design of XMI-based tools for building EQN models of software systems},
	booktitle = {Proceedings of the IASTED International Conference on Software Engineering: part of the 23rd IASTED International Multi-Conference on Applied Informatics, SE 2005},
	year = {2005},
	note = {cited By 4},
	pages = {366-371},
	abstract = {Research in software development is proving that model building during product development is essential to product validation. Indeed the model can be used in the early stages of the product lifecycle to predict the product compliance with the user performance requirements. This paper deals with software performance model building. Only a few methods and tools have been introduced for performance model automatic building, which would be of great interest to software developers, since existing performance methods and tools require a deep knowledge of performance theory. This paper illustrates the design of a tool for automatically building software performance models. The produced model is a queueing network. The design is based on recently published standards like MOF and XMI, that facilitate the easy interchange of models between different tools (e.g., software development tools, evaluation tools, etc.).},
	keywords = {Automatic buildings, Design, Information science, Java programming language, Model buildings, MOF, Product compliance, Product development, Queueing networks, Software development tools, Software engineering, Software performance, Software performance modeling, Tools, UML, XMI},
	isbn = {0889864640; 9780889864641},
	url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-84882959712\&partnerID=40\&md5=5efce578e953ca65d5eff685949b9a32},
	author = {Andrea D{\textquoteright}Ambrogio and Iazeolla, G.}
}
@conference {D{\textquoteright}Ambrogio200544,
	title = {Performance model building of pervasive computing},
	booktitle = {Proceedings - 2005 Workshop on Techniques, Methodologies and Tools for Performance Evaluation of Complex Systems, FIRB-Perf 2005},
	volume = {2005},
	year = {2005},
	note = {cited By 3},
	pages = {44-53},
	abstract = {Performance model building is essential to predict the ability of an application to satisfy given levels of performance or to support the search for viable alternatives. Using automated methods of model building is becoming of increasing interest to software developers who have neither the skills nor the time to do it manually. This is particularly relevant in pervasive computing, where the large number of software and hardware components requires models of so large a size that using traditional manual methods of model building would be error prone and time consuming. This paper deals with an automated method to build performance models of pervasive computing applications, which require the integration of multiple technologies, including software layers, hardware platforms and wired/wireless networks. The considered performance models are of extended queueing network (EQN) type. The method is based on a procedure that receives as input the UML model of the application to yield as output the complete EQN model, which can then be evaluated by use of any evaluation tool. {\textcopyright} 2005 IEEE.},
	keywords = {Automation, Computer software, Distributed computer systems, Extended queuing network (EQN), Manual control, Mathematical models, Performance models, Pervasive computing, Query languages, Software engineering, Wireless networks},
	isbn = {0769524478; 9780769524474},
	doi = {10.1109/FIRB-PERF.2005.15},
	url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-33846989003\&partnerID=40\&md5=3ba663ef9a7a1338b9485fda4973b320},
	author = {Andrea D{\textquoteright}Ambrogio and Iazeolla, G.}
}
