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
@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} }
SENSORIA
Software Engineering for Service-Oriented Overlay Computers