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)
About this book
Editors and Affiliations
-
Institut für Informatik, Christian-Albrechts-Universität, Kiel, Germany
Bernhard Thalheim
-
Software Competence Center, Hagenberg, Austria
Klaus-Dieter Schewe
-
ICT Department, University of Agder, Kristiansand, Norway
Andreas Prinz
-
RISC, Johannes Kepler University, Hagenberg, Austria
Bruno Buchberger
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