Istituto di Scienza e Tecnologie dell'Informazione     
Ter Beek M. H. SENSORIA results applied to the case studies. M. Wirsing, M. Hölzl (eds.). (Lecture Notes in Computer Science, vol. 6582). Berlin: Springer-Verlag, 2011.
In this chapter we provide an overview of the application of the results obtained in SENSORIA (i.e., techniques, methods and languages developed in the technical work packages WP1-WP7) to case studies from the Automotive, eUniversity, Finance and Telecommunication domains (developed in work package WP8).
URL: http://www.springerlink.com/content/p438tn53347251w6/
DOI: http://dx.doi.org/10.1007/978-3-642-20401-2_32
Subject Service-Oriented Computing
Case Studies
Software Engineering
Linguistic primitives
Qualitative Analysis
Quantitative Analysis
Model-Driven Development
Service-Oriented Architectures
Process Calculi
Service Orchestration
Model Checking
C.0 Computer Systems Organization. General
D.0 Software. General
F.0 Theory of Computation. General
J.0 Computer Applications. General

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