Correct Software in Web Applications and Web Services

• Main Authors: Thalheim, Bernhard, Schewe, Klaus-Dieter, Prinz, Andreas, Buchberger, Bruno
• Format: eBook
• Language: English
• Published: Cham Springer Nature 2015; Springer International Publishing AG; Springer International Publishing
• Edition: 1
• Series: Texts & Monographs in Symbolic Computation
• Subjects: Algorithms; Computer programming, programs, data; Computer Science; Mathematical Applications in Computer Science; Software engineering; Software Engineering/Programming and Operating Systems

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 under...