Übersicht			Auf mobile öffnen

Lieferstatus:	Auf Bestellung (Lieferzeit unbekannt)
Veröffentlichung:	Juni 2015
Genre:	EDV / Informatik
	Algorithmen und Datenstrukturen / Algorithms / algorithms and data structures / B / computer science / Computer science—Mathematics / Mathematical Applications in Computer Science / Mathematical theory of computation / Software Engineering / Software Engineering/Programming and Operating Systems mehr...
ISBN:	9783319171111
EAN-Code:	9783319171111
Verlag:	Springer EN
Einband:	Gebunden
Sprache:	English
Serie:	Texts & Monographs in Symbolic Computation
Dimensionen:	H 235 mm / B 155 mm / D
Gewicht:	6447 gr
Seiten:	332
Illustration:	XIV, 332 p. 99 illus., 58 illus. in color., schwarz-weiss Illustrationen, farbige Illustrationen
Zus. Info:	EUDR exemption - product or manufacturing materials placed on the market prior to 31.12.2025.
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

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.