Skip to Main Content (Press Enter)

Logo CNR
  • ×
  • Home
  • People
  • Outputs
  • Organizations
  • Expertise & Skills

UNI-FIND
Logo CNR

|

UNI-FIND

cnr.it
  • ×
  • Home
  • People
  • Outputs
  • Organizations
  • Expertise & Skills
  1. Outputs

Introduction to the Sensoria Case Studies

Chapter
Publication Date:
2011
abstract:
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.
Iris type:
02.01 Contributo in volume (Capitolo o Saggio)
Keywords:
Service-oriented Systems Modelling; verification
List of contributors:
Gnesi, Stefania
Handle:
https://iris.cnr.it/handle/20.500.14243/175838
Book title:
Rigorous Software Engineering for Service-Oriented Systems. Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing
  • Overview

Overview

URL

http://link.springer.com/chapter/10.1007/978-3-642-20401-2_3
  • Use of cookies

Powered by VIVO | Designed by Cineca | 26.5.0.0 | Sorgente dati: PREPROD (Ribaltamento disabilitato)