Overview
- 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.
Part of the book series: Texts & Monographs in Symbolic Computation (TEXTSMONOGR)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (9 chapters)
Keywords
About this book
Editors and Affiliations
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
DOI: https://doi.org/10.1007/978-3-319-17112-8
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing Switzerland 2015
Hardcover ISBN: 978-3-319-17111-1Published: 25 June 2015
Softcover ISBN: 978-3-319-34727-1Published: 09 October 2016
eBook ISBN: 978-3-319-17112-8Published: 12 June 2015
Series ISSN: 0943-853X
Series E-ISSN: 2197-8409
Edition Number: 1
Number of Pages: XIV, 332
Number of Illustrations: 41 b/w illustrations, 58 illustrations in colour
Topics: Software Engineering/Programming and Operating Systems, Mathematical Applications in Computer Science, Algorithms