| ![](/p.gif) |
![](/p.gif) |
| Artikel-Nr.: 5667A-9783319347271 Herst.-Nr.: 9783319347271 EAN/GTIN: 9783319347271 |
| |
|
| ![](/p.gif) | ![](/p.gif) |
![](/p.gif) | 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. Weitere Informationen: ![](/p.gif) | ![](/p.gif) | Author: | Bernhard Thalheim; Klaus-Dieter Schewe; Andreas Prinz; Bruno Buchberger | Verlag: | Springer International Publishing | Sprache: | eng |
|
| ![](/p.gif) | ![](/p.gif) |
![](/p.gif) | | ![](/p.gif) | ![](/p.gif) |
![](/p.gif) | | ![](/p.gif) | ![](/p.gif) |
| |