Correct software in Web applications and Web services / Bernhard Thalheim

Public ISBD Titre : Correct software in Web applications and Web services Type de document : texte imprimé Auteurs : Bernhard Thalheim, Auteur ; Klaus-Dieter Schewe, Auteur ; Andreas Prinz, Auteur ; Bruno Buchberger, Auteur Editeur : Newyork;Paris;Milan;Berlin;Londres;Amsterdam [Usa;France;Italie;Allemagne;Engleterre;Hollande] : Springer Année de publication : 2015 Collection : Texts & Monographs in Symbolic Computation Importance : 332 p. Format : 26 cm. ISBN/ISSN/EAN : 978-3-319-17111-1 Langues : Anglais Mots-clés : Software  Web Applications  Web Services Résumé : 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. Correct software in Web applications and Web services [texte imprimé] / Bernhard Thalheim, Auteur ; Klaus-Dieter Schewe, Auteur ; Andreas Prinz, Auteur ; Bruno Buchberger, Auteur . - Newyork;Paris;Milan;Berlin;Londres;Amsterdam (Usa;France;Italie;Allemagne;Engleterre;Hollande) : Springer, 2015 . - 332 p. ; 26 cm.. - (Texts & Monographs in Symbolic Computation) . ISBN : 978-3-319-17111-1 Langues : Anglais Mots-clés : Software  Web Applications  Web Services Résumé : 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.

Réservation

Réserver ce document

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
004.6-99-1	004.6-99-1	Livre externe	BIBLIOTHEQUE DE FACULTE DES SCIENCES	Informatique (SCI)	Disponible
004.6-99-2	004.6-99-2	Livre externe	BIBLIOTHEQUE DE FACULTE DES SCIENCES	Informatique (SCI)	Disponible
004.6-99-3	004.6-99-3	Livre externe	BIBLIOTHEQUE DE FACULTE DES SCIENCES	Informatique (SCI)	Disponible
004.6-99-4	004.6-99-4	Livre externe	BIBLIOTHEQUE DE FACULTE DES SCIENCES	Informatique (SCI)	Disponible

---

page 1/1