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.
Product Identifiers
Publisher
Springer International Publishing Ag
ISBN-13
9783319171111
eBay Product ID (ePID)
213883491
Product Key Features
Author
Bruno Buchberger, Bernhard Thalheim, Andreas Prinz, Klaus-Dieter Schewe
Publication Name
Correct Software in Web Applications and Web Services
Format
Hardcover
Language
English
Subject
Computer Science, Mathematics
Publication Year
2015
Type
Textbook
Number of Pages
332 Pages
Dimensions
Item Height
235mm
Item Width
155mm
Item Weight
6447g
Additional Product Features
Series Title
Texts & Monographs in Symbolic Computation
Country/Region of Manufacture
Switzerland
Editor
Bruno Buchberger, Bernhard Thalheim, Andreas Prinz, Klaus-Dieter Schewe