| 书目名称 | Correct Software in Web Applications and Web Services |
| 编辑 | Bernhard Thalheim,Klaus-Dieter Schewe,Bruno Buchbe |
| 视频video | |
| 概述 | 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 an |
| 丛书名称 | Texts & Monographs in Symbolic Computation |
| 图书封面 |  |
| 描述 | 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. |
| 出版日期 | Book 2015 |
| 关键词 | Abstract State Machines; Automated reasoning; Theorema; Web Applications; Web information systems |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-3-319-17112-8 |
| isbn_softcover | 978-3-319-34727-1 |
| isbn_ebook | 978-3-319-17112-8Series ISSN 0943-853X Series E-ISSN 2197-8409 |
| issn_series | 0943-853X |
| copyright | Springer International Publishing Switzerland 2015 |
发表于 2025-3-21 18:20:13
