@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 {Gianni200967,
	title = {Ontology-based specification of simulation sequences},
	journal = {International Journal of Simulation: Systems, Science and Technology},
	volume = {10},
	number = {2},
	year = {2009},
	note = {cited By 5},
	pages = {67-78},
	abstract = {The specification of a simulation model includes the description of the input sequences while the simulation output can be described by the produced sequences. The input sequences describe the characteristics of the simulated scenarios and are to be chosen in a way to preserve the real system representativeness; while the output sequences can be used as a proof of such representativeness. Producing the appropriate input sequences and validating the output sequences against the model specification is therefore fundamental to the validation of the simulation model. In this paper, we propose an ontology-based specification of simulation input sequences. The ontology gives a methodology to formalize the sequence specification and output sequence validation by providing the semantic basis for the sequences formal description. In the model specification, the input sequences are described in terms of ontology concepts and properties values, and in the model implementation the deployed sequences can be thus automatically derived by mapping them on the ontology concepts. Sequence validation may be carried out by establishing the congruence between the ontology concepts and the deployed sequences.},
	keywords = {Computer simulation, Formal Description, Input sequence, Model implementation, Model specification, Model specifications, Ontology, Ontology concepts, Ontology-based, Output sequences, Real systems, Semantics, Simulation model, Specifications},
	issn = {14738031},
	url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-78650605223\&partnerID=40\&md5=cbdaef9e43630d47be542c7b08e0d72f},
	author = {Gianni, D. and Andrea D{\textquoteright}Ambrogio and Iazeolla, G.}
}
@article {D{\textquoteright}Ambrogio2009625,
	title = {Simulation model building of traffic intersections},
	journal = {Simulation Modelling Practice and Theory},
	volume = {17},
	number = {4},
	year = {2009},
	note = {cited By 9},
	pages = {625-640},
	abstract = {Designers of traffic systems might take advantage of the simulation-before-construction approach that allows them to study the behavior of a new or existing system by use of simulation models. Nevertheless, the use of simulation models is often hindered by the fact that the model building activity is a critical, time consuming and error prone activity if performed by use of experience and intuition only. Moreover, traffic designers do not usually have the necessary skills to effectively carry out system simulation. This paper overcomes such problems by introducing a model building method, thus enabling traffic designers to seamlessly introduce simulation-before-construction into their best practices. The method is applied to the building of simulation models of traffic intersections, with an example application to a real-world intersection. {\textcopyright} 2008 Elsevier B.V. All rights reserved.},
	keywords = {Automated model building, Best practices, Error-prone, Existing systems, Intersections, Model buildings, Model-building methods, Real-world, Simulation model production, Specifications, System simulations, Traffic control, Traffic intersection specification, Traffic simulation, Traffic systems},
	issn = {1569190X},
	doi = {10.1016/j.simpat.2008.11.001},
	url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-62149138054\&partnerID=40\&md5=e6b0fba289eb046089cab4e9984ab819},
	author = {Andrea D{\textquoteright}Ambrogio and Iazeolla, G. and Pasini, L. and Pieroni, A.}
}
