Correct Software in Web Applications and Web Services

Nonfiction, Science & Nature, Mathematics, Applied, Computers, Programming, Software Development, General Computing
Cover of the book Correct Software in Web Applications and Web Services by , Springer International Publishing
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: ISBN: 9783319171128
Publisher: Springer International Publishing Publication: June 12, 2015
Imprint: Springer Language: English
Author:
ISBN: 9783319171128
Publisher: Springer International Publishing
Publication: June 12, 2015
Imprint: Springer
Language: English

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.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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.

More books from Springer International Publishing

Cover of the book A Combinatorial Perspective on Quantum Field Theory by
Cover of the book Governance of a Transboundary River by
Cover of the book Understanding Mobilities for Designing Contemporary Cities by
Cover of the book Graph Drawing and Network Visualization by
Cover of the book Stochastic Processes, Multiscale Modeling, and Numerical Methods for Computational Cellular Biology by
Cover of the book Illustrating Finance Policy with Mathematica by
Cover of the book High-Performance AD and DA Converters, IC Design in Scaled Technologies, and Time-Domain Signal Processing by
Cover of the book Cloud Computing by
Cover of the book Intracranial Pressure and Brain Monitoring XV by
Cover of the book Transport Phenomena in Multiphase Flows by
Cover of the book Molecular Architectonics by
Cover of the book Learned in the Trenches by
Cover of the book CFD Techniques and Thermo-Mechanics Applications by
Cover of the book Prenatal and Preimplantation Diagnosis by
Cover of the book Religions and Extraterrestrial Life by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy