Description |
1 online resource (xiv, 332 pages) : illustrations |
Series |
Texts & Monographs in Symbolic Computation |
|
Texts and monographs in symbolic computation.
|
Contents |
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 |
Summary |
The papers in this volume aim at obtaining a common understanding of the challenging research questions in web applications comprising web information systems, web services, and web interoperability; obtaining a common understanding of verification needs in web applications; achieving a common understanding of the available rigorous approaches to system development, and the cases in which they have succeeded; identifying how rigorous software engineering methods can be exploited to develop suitable web applications; and at developing a European-scale research agenda combining theory, methods and tools that would lead to suitable web applications with the potential to implement systems for computation in the public domain |
Analysis |
computerwetenschappen |
|
computer sciences |
|
wiskunde |
|
mathematics |
|
algoritmen |
|
algorithms |
|
software engineering |
|
operating systems |
|
Information and Communication Technology (General) |
|
Informatie- en communicatietechnologie (algemeen) |
Notes |
Print version record |
Subject |
Computer software -- Verification.
|
|
Web applications.
|
|
Application software -- Development.
|
|
Computer programs -- Verification.
|
|
Mathematical modelling.
|
|
Numerical analysis.
|
|
Software Engineering.
|
|
COMPUTERS -- Software Development & Engineering -- Quality Assurance & Testing.
|
|
Computer programs -- Verification
|
|
Application software -- Development
|
|
Computer software -- Verification
|
|
Web applications
|
Form |
Electronic book
|
Author |
Thalheim, B. (Bernhard), 1952- editor.
|
|
Schewe, Klaus-Dieter, editor.
|
|
Prinz, Andreas, editor.
|
|
Buchberger, Bruno, editor.
|
ISBN |
9783319171128 |
|
3319171127 |
|
3319171119 |
|
9783319171111 |
|