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
hardback
Published:
25 June, 2015
hardback
Published:
25 June, 2015
Standard worldwide delivery by
Fri, July 17 - Wed, July 22
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 | 9783319171111 |
| ISBN10 | 3319171119 |
| Number Of Pages | 332 |
| Item Weight | 1000 g |
| Publisher / Reseller | Springer International Publishing AG |
| Format | hardback |
| Edition | 2015 ed. |
See More +