Correct Software in Web Applications and Web Services - Brossura

Libro 8 di 13: Texts & Monographs in Symbolic Computation
 
9783319347271: Correct Software in Web Applications and Web Services
Brossura
ISBN 10: 3319347276 ISBN 13: 9783319347271
Casa editrice: Springer, 2016

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Dalla quarta di copertina

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.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Editore
Springer
Data di pubblicazione
2016
Lingua
Inglese
ISBN 10 
3319347276
ISBN 13 
9783319347271
Rilegatura
Copertina flessibile
Numero di pagine
348
Redattore
Thalheim Bernhard, Schewe Klaus-Dieter, Prinz Andreas, Buchberger Bruno
Contatto del produttore
ProductSafety@springernature.com
ProductSafety@springernature.com

Poststr. 9
Darmstadt
64293
Germania

Altre edizioni note dello stesso titolo

9783319171111: Correct Software in Web Applications and Web Services

Edizione in evidenza

ISBN 10:  3319171119 ISBN 13:  9783319171111
Casa editrice: Springer-Nature New York Inc, 2015
Rilegato