Formalizing Data-Centric Web Services

Author:   Iman Saleh
Publisher:   Springer International Publishing AG
Edition:   1st ed. 2015
ISBN:  

9783319246765


Pages:   131
Publication Date:   13 November 2015
Format:   Hardback
Availability:   Manufactured on demand   Availability explained
We will order this item for you from a manufactured on demand supplier.

Our Price $145.17 Quantity:  
Add to Cart

Share |

Formalizing Data-Centric Web Services


Add your own review!

Overview

Full Product Details

Author:   Iman Saleh
Publisher:   Springer International Publishing AG
Imprint:   Springer International Publishing AG
Edition:   1st ed. 2015
Dimensions:   Width: 15.50cm , Height: 1.00cm , Length: 23.50cm
Weight:   3.495kg
ISBN:  

9783319246765


ISBN 10:   3319246763
Pages:   131
Publication Date:   13 November 2015
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Hardback
Publisher's Status:   Active
Availability:   Manufactured on demand   Availability explained
We will order this item for you from a manufactured on demand supplier.

Table of Contents

Introduction.- Background.- Literature Review.- Modeling and Specification of a Data-Centric Web Service.- Specification and Verification of a Composition of Services.- Specification and Verification of Transactional Web Service Composition.- Model Implementation.- Evaluation Using a Deep Web Case Study.- Static Detection of Implementation Errors Using Code Contracts.- Static Detection of Implementation Errors in Data-Centric Web Services.- Design-by-Contract for Web Services.- Summary and Conclusions.

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions
Latest Reading Guide

MRG2025CC

 

Shopping Cart
Your cart is empty
Shopping cart
Mailing List