PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Elgner J., Gnesi S., Koch N., Mayer P. Specification and implementation of demonstrators for the case studies. MartinWirsing, Matthias Hölzl (eds.). (Lecture Notes in Computer Science, vol. 6582). Heidelberg: Springer, 2011.
 
 
Abstract
(English)
A main challenge in Sensoria has been the inclusion of case studies from different industrial and academic application areas, namely finance, automotive, telecommunications, and university administration. The case studies, along with a short description of available scenarios, have already been introduced in Chapter 0-3. In this chapter, we go into more detail, presenting the (graphical) specifications for selected scenarios by using the modeling approaches introduced in Sensoria. Furthermore, we detail the implementation of demonstrators for some of the case studies.
URL: http://www.springerlink.com/content/e26l6q140276nn17/
DOI: 10.1007/978-3-642-20401-2_31
Subject Service-oriented
Verification
Systems modelling
D.2.4 Software/Program Verification


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional