TY - BOOK ID - 4864772 TI - Correct Software in Web Applications and Web Services AU - Thalheim, Bernhard. AU - Schewe, Klaus-Dieter. AU - Prinz, Andreas. AU - Buchberger, Bruno. PY - 2015 SN - 9783319171128 3319171119 9783319171111 3319171127 PB - Cham : Springer International Publishing : Imprint: Springer, DB - UniCat KW - Computer Science. KW - Software Engineering/Programming and Operating Systems. KW - Mathematical Applications in Computer Science. KW - Algorithms. KW - Computer science. KW - Software engineering. KW - Informatique KW - Génie logiciel KW - Algorithmes KW - Engineering & Applied Sciences KW - Computer Science KW - Computer software KW - Application software. KW - Development. KW - Application computer programs KW - Application computer software KW - Applications software KW - Apps (Computer software) KW - Computer software engineering KW - Development of computer software KW - Software development KW - Computer science KW - Computer mathematics. KW - Mathematics. KW - Engineering KW - Algorism KW - Algebra KW - Arithmetic KW - Computer mathematics KW - Discrete mathematics KW - Electronic data processing KW - Informatics KW - Science KW - Foundations KW - Mathematics KW - Computer science—Mathematics. UR - https://www.unicat.be/uniCat?func=search&query=sysid:4864772 AB - 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. ER -