<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "The Sensoria Approach Applied to the Finance Case Study"^^ . "This chapter provides an effective implementation of (part of) the Sensoria approach, specifically modelling and formal analysis of service-oriented software based on mathematically founded techniques. The ‘Finance case study’\r\nis used as a test bed for demonstrating the feasibility and effectiveness of the use of the process calculus COWS and some of its related analysis techniques and tools. In particular, we report the results of an application of a temporal logic and its model checker for expressing and checking functional properties of services and a type system for guaranteeing confidentiality properties of services."^^ . "2011" . . "6582" . "6582" . . "Springer"^^ . . "Springer"^^ . . . . . . . . . . . . . . . . . . . . "Rosario"^^ . "Pugliese"^^ . "Rosario Pugliese"^^ . . "Martin"^^ . "Wirsing"^^ . "Martin Wirsing"^^ . . "Francesco"^^ . "Tiezzi"^^ . "Francesco Tiezzi"^^ . . "Matthias M."^^ . "Hölzl"^^ . "Matthias M. Hölzl"^^ . . "Stefania"^^ . "Gnesi"^^ . "Stefania Gnesi"^^ . . . . . . "The Sensoria Approach Applied to the Finance Case Study (PDF)"^^ . . . "GPT_sensoriaBook.pdf"^^ . . . "The Sensoria Approach Applied to the Finance Case Study (Other)"^^ . . . . . . "lightbox.jpg"^^ . . . "The Sensoria Approach Applied to the Finance Case Study (Other)"^^ . . . . . . "preview.jpg"^^ . . . "The Sensoria Approach Applied to the Finance Case Study (Other)"^^ . . . . . . "medium.jpg"^^ . . . "The Sensoria Approach Applied to the Finance Case Study (Other)"^^ . . . . . . "small.jpg"^^ . . "HTML Summary of #1568 \n\nThe Sensoria Approach Applied to the Finance Case Study\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .