Correct Software in Web Applications and Web Services - Rilegato

Libro 8 di 13: Texts & Monographs in Symbolic Computation
 
9783319171111: Correct Software in Web Applications and Web Services
Rilegato
ISBN 10: 3319171119 ISBN 13: 9783319171111
Casa editrice: Springer-Nature New York Inc, 2015

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-Nature New York Inc
Data di pubblicazione
2015
Lingua
Inglese
ISBN 10 
3319171119
ISBN 13 
9783319171111
Rilegatura
Copertina rigida
Numero di pagine
348
Redattore
Thalheim Bernhard, Schewe Klaus-Dieter, Prinz Andreas, Buchberger Bruno
Contatto del produttore
non disponibile
Persona responsabile
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3,69115 Heidelberg, Germany
Heidelberg
69115
Germania

Altre edizioni note dello stesso titolo

9783319347271: Correct Software in Web Applications and Web Services

Edizione in evidenza

ISBN 10:  3319347276 ISBN 13:  9783319347271
Casa editrice: Springer, 2016
Brossura