Document - Introduction to the Sensoria Case Studies

2011

Contribution to book Restricted

Introduction to the Sensoria Case Studies

Elgner J., Gnesi S., Koch N., Mayer P.

Service-oriented Systems Modelling verification

The foundational research carried out in Sensoria has been steered by a number of case studies for ensuring applicability of Sensoria methods and meeting expectations of society and the economy. In this chapter, we introduce these case studies. Three of the case studies came from industrial applications in automotive, finance and telecommunication domains; one came from an academic application for distributed e-learning and course management. Having in mind the relevance that these areas have in society and the economy, the above case studies have been extensively used in Sensoria during the whole project.

Source: Rigorous Software Engineering for Service-Oriented Systems. Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing, edited by Wirsing, Martin ; Hölzl, Matthias, pp. 26–34. Berlin: Springer-Verlag, 2011

Publisher: Springer-Verlag, Berlin, DEU

Metrics

Back to previous page

Cite as

BibTeX entry

@inbook{oai:it.cnr:prodotti:203869,
	title = {Introduction to the Sensoria Case Studies},
	author = {Elgner J. and Gnesi S. and Koch N. and Mayer P.},
	publisher = {Springer-Verlag, Berlin, DEU},
	doi = {10.1007/978-3-642-20401-2_3},
	booktitle = {Rigorous Software Engineering for Service-Oriented Systems. Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing, edited by Wirsing, Martin ; Hölzl, Matthias, pp. 26–34. Berlin: Springer-Verlag, 2011},
	year = {2011}
}