Correct Software in Web Applications and Web Services 2015 Edition Contributor(s): Thalheim, Bernhard (Editor), Schewe, Klaus-Dieter (Editor), Prinz, Andreas (Editor) |
|||
ISBN: 3319171119 ISBN-13: 9783319171111 Publisher: Springer
Binding Type: Hardcover - See All Available Formats & Editions Published: June 2015 Click for more in this series: Texts & Monographs in Symbolic Computation |
Additional Information |
BISAC Categories: - Computers | Software Development & Engineering - General - Mathematics | Applied - Computers | Programming - Algorithms |
Dewey: 004.015 |
Series: Texts & Monographs in Symbolic Computation |
Physical Information: 0.81" H x 6.14" W x 9.21" L (1.46 lbs) 332 pages |
Descriptions, Reviews, Etc. |
Publisher 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. |
Customer ReviewsSubmit your own review |
To tell a friend about this book, you must Sign In First! |