Correct Software in Web Applications and Web Services - Texts & Monographs in Symbolic Computation
Latest Publications

TOTAL DOCUMENTS

9

(FIVE YEARS 0)

H-INDEX

3

(FIVE YEARS 0)

Published By Springer International Publishing

9783319171111, 9783319171128

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Formal Model of Client-Cloud Interaction

Correct Software in Web Applications and Web Services - Texts & Monographs in Symbolic Computation ◽

10.1007/978-3-319-17112-8_4 ◽

2015 ◽

pp. 83-144 ◽

Author(s):

Károly Bósa ◽

Roxana-Maria Holom ◽

Mircea Boris Vleju

Keyword(s):

Download Full-text

Monitoring of Client-Cloud Interaction

Correct Software in Web Applications and Web Services - Texts & Monographs in Symbolic Computation ◽

10.1007/978-3-319-17112-8_6 ◽

2015 ◽

pp. 177-228 ◽

Author(s):

Harald Lampesberger ◽

Mariam Rady

Download Full-text

Formal Reliability Models for Web Services

Correct Software in Web Applications and Web Services - Texts & Monographs in Symbolic Computation ◽

10.1007/978-3-319-17112-8_7 ◽

2015 ◽

pp. 229-256

Author(s):

Raffaela Mirandola ◽

Pasqualina Potena ◽

Elvinia Riccobene ◽

Patrizia Scandurra

Keyword(s):

Web Services ◽

Reliability Models

Download Full-text

What Constitutes a Service on the Web?

Correct Software in Web Applications and Web Services - Texts & Monographs in Symbolic Computation ◽

10.1007/978-3-319-17112-8_8 ◽

2015 ◽

pp. 257-292

Author(s):

Klaus-Dieter Schewe ◽

Qing Wang

Keyword(s):

Download Full-text

Integrating a Model-Driven Approach and Formal Verification for the Development of Secure Service Applications

Correct Software in Web Applications and Web Services - Texts & Monographs in Symbolic Computation ◽

10.1007/978-3-319-17112-8_3 ◽

2015 ◽

pp. 45-81 ◽

Author(s):

Marian Borek ◽

Kuzman Katkalov ◽

Nina Moebius ◽

Wolfgang Reif ◽

Gerhard Schellhorn ◽

...

Keyword(s):

Formal Verification ◽

Model Driven ◽

Model Driven Approach

Download Full-text

Towards a Model of Services Based on Cocreation, Abstraction and Rights Distribution

Correct Software in Web Applications and Web Services - Texts & Monographs in Symbolic Computation ◽

10.1007/978-3-319-17112-8_2 ◽

2015 ◽

pp. 29-44 ◽

Author(s):

Maria Bergholtz ◽

Birger Andersson ◽

Paul Johannesson

Download Full-text

W∗H: The Conceptual Model for Services

Correct Software in Web Applications and Web Services - Texts & Monographs in Symbolic Computation ◽

10.1007/978-3-319-17112-8_5 ◽

2015 ◽

pp. 145-176 ◽

Author(s):

Ajantha Dahanayake ◽

Bernhard Thalheim

Keyword(s):

Conceptual Model

Download Full-text

Formal Modelling and Verification of Transactional Web Service Composition: A Refinement and Proof Approach with Event-B

Correct Software in Web Applications and Web Services - Texts & Monographs in Symbolic Computation ◽

10.1007/978-3-319-17112-8_1 ◽

2015 ◽

pp. 1-27 ◽

Author(s):

Idir Ait-Sadoune ◽

Yamine Ait-Ameur

Keyword(s):

Web Service ◽

Service Composition ◽

Web Service Composition ◽

Formal Modelling

Download Full-text

Codesign of Web Information Systems

Correct Software in Web Applications and Web Services - Texts & Monographs in Symbolic Computation ◽

10.1007/978-3-319-17112-8_9 ◽

2015 ◽

pp. 293-332 ◽

Author(s):

Bernhard Thalheim ◽

Klaus-Dieter Schewe

Keyword(s):

Information Systems ◽

Web Information ◽

Web Information Systems

Download Full-text