Texts & Monographs in Symbolic Computation

Correct Software in Web Applications and Web Services

Editors: Thalheim, B., Schewe, K.-D., Prinz, A., Buchberger, B. (Eds.)

Free Preview
  • The book identifies correctness problems in web applications and how these can be solved by formalized software engineering methods
  • New software tools are presented
  • This volume constitutes selected and extended papers of a European Science Foundation (ESF) strategic Workshop.
see more benefits

Buy this book

eBook $99.00
price for USA in USD (gross)
  • ISBN 978-3-319-17112-8
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $119.99
price for USA in USD
  • ISBN 978-3-319-17111-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Softcover $129.00
price for USA in USD
  • Customers within the U.S. and Canada please contact Customer Service at +1-800-777-4643, Latin America please contact us at +1-212-460-1500 (24 hours a day, 7 days a week).
  • Due: November 18, 2016
  • ISBN 978-3-319-34727-1
  • Free shipping for individuals worldwide
About this book

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.

Table of contents (9 chapters)

Table of contents (9 chapters)
  • Formal Modelling and Verification of Transactional Web Service Composition: A Refinement and Proof Approach with Event-B

    Ait-Sadoune, Idir (et al.)

    Pages 1-27

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

    Bergholtz, Maria (et al.)

    Pages 29-44

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

    Borek, Marian (et al.)

    Pages 45-81

  • A Formal Model of Client-Cloud Interaction

    Bósa, Károly (et al.)

    Pages 83-144

  • W∗H: The Conceptual Model for Services

    Dahanayake, Ajantha (et al.)

    Pages 145-176

Buy this book

eBook $99.00
price for USA in USD (gross)
  • ISBN 978-3-319-17112-8
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $119.99
price for USA in USD
  • ISBN 978-3-319-17111-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Softcover $129.00
price for USA in USD
  • Customers within the U.S. and Canada please contact Customer Service at +1-800-777-4643, Latin America please contact us at +1-212-460-1500 (24 hours a day, 7 days a week).
  • Due: November 18, 2016
  • ISBN 978-3-319-34727-1
  • Free shipping for individuals worldwide
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Correct Software in Web Applications and Web Services
Editors
  • Bernhard Thalheim
  • Klaus-Dieter Schewe
  • Andreas Prinz
  • Bruno Buchberger
Series Title
Texts & Monographs in Symbolic Computation
Copyright
2015
Publisher
Springer International Publishing
Copyright Holder
Springer International Publishing Switzerland
eBook ISBN
978-3-319-17112-8
DOI
10.1007/978-3-319-17112-8
Hardcover ISBN
978-3-319-17111-1
Softcover ISBN
978-3-319-34727-1
Series ISSN
0943-853X
Edition Number
1
Number of Pages
XIV, 332
Number of Illustrations
41 b/w illustrations, 58 illustrations in colour
Topics