Correct Software in Web Applications and Web Services - Texts & Monographs in Symbolic Computation
Correct Software in Web Applications and Web Services - Texts & Monographs in Symbolic Computation
paperback
Published:
9 October, 2016
paperback
Published:
9 October, 2016
Standard worldwide delivery by
Thu, July 16 - Tue, July 21
Order within
0
Popular Books by Bernhard Thalheim
View All Books by Bernhard Thalheim
Description
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.
More Details
| Type | Book |
|---|---|
| ISBN13 | 9783319347271 |
| ISBN10 | 3319347276 |
| Number Of Pages | 332 |
| Item Weight | 1000 g |
| Publisher / Reseller | Springer International Publishing AG |
| Format | paperback |
| Edition | Softcover reprint of the original 1st ed. 2015 |
See More +