314 followers
Integrating a Model-Driven Approach and Formal Verification for the Development of Secure Service Applications http://t.co/sJjWtnBV7m
Correct Software in Web Applications and Web Services
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Formal Modelling and Verification of Transactional Web Service Composition: A Refinement and Proof Approach with Event-B
-
Altmetric BadgeChapter 2 Towards a Model of Services Based on Cocreation, Abstraction and Rights Distribution
-
Altmetric BadgeChapter 3 Integrating a Model-Driven Approach and Formal Verification for the Development of Secure Service Applications
-
Altmetric BadgeChapter 4 A Formal Model of Client-Cloud Interaction
-
Altmetric BadgeChapter 5 W ∗ H: The Conceptual Model for Services
-
Altmetric BadgeChapter 6 Monitoring of Client-Cloud Interaction
-
Altmetric BadgeChapter 7 Formal Reliability Models for Web Services
-
Altmetric BadgeChapter 8 What Constitutes a Service on the Web?
-
Altmetric BadgeChapter 9 Codesign of Web Information Systems
Attention for Chapter 3:
Integrating a Model-Driven Approach and Formal Verification for the Development of Secure Service Applications