{
"item_title" : "Correct Software in Web Applications and Web Services",
"item_author" : [" Bernhard Thalheim", "Klaus-Dieter Schewe", "Andreas Prinz "],
"item_description" : "Formal modelling and verification of transactional web services composition. A refinement and proof approach with Event-B.-Towards a Model of Services based on Co-creation, Abstraction and Rights Distribution.- Integrating a Model-Driven Approach and Formal Verification for the Development of Secure Service Applications.- A Formal Model of Client-Cloud Interaction.- W*H: The Conceptual Model for Services.- Monitoring of Client-Cloud Interaction.- Formal Reliability Models for Web Services.- What Constitutes a Service on the Web?.- Co-Design of Web Information Systems.",
"item_img_path" : "https://covers4.booksamillion.com/covers/bam/3/31/917/111/3319171119_b.jpg",
"price_data" : {
"retail_price" : "54.99", "online_price" : "54.99", "our_price" : "54.99", "club_price" : "54.99", "savings_pct" : "0", "savings_amt" : "0.00", "club_savings_pct" : "0", "club_savings_amt" : "0.00", "discount_pct" : "10", "store_price" : ""
}
}
Correct Software in Web Applications and Web Services
Overview
Formal modelling and verification of transactional web services composition. A refinement and proof approach with Event-B.-Towards a Model of Services based on Co-creation, Abstraction and Rights Distribution.- Integrating a Model-Driven Approach and Formal Verification for the Development of Secure Service Applications.- A Formal Model of Client-Cloud Interaction.- W*H: The Conceptual Model for Services.- Monitoring of Client-Cloud Interaction.- Formal Reliability Models for Web Services.- What Constitutes a Service on the Web?.- Co-Design of Web Information Systems.
This item is Non-Returnable
Customers Also Bought
Details
- ISBN-13: 9783319171111
- ISBN-10: 3319171119
- Publisher: Springer
- Publish Date: June 2015
- Dimensions: 9.21 x 6.14 x 0.81 inches
- Shipping Weight: 1.46 pounds
- Page Count: 332
Related Categories
