Software Engineering for Resilient Systems

6th International Workshop, SERENE 2014, Budapest, Hungary, October 15-16, 2014. Proceedings

István Majzik, Marco Vieira (Herausgeber)

Buch | Softcover

X, 185 Seiten

2014
Springer International Publishing (Verlag)
978-3-319-12240-3 (ISBN)

Artikel merken

This book constitutes the refereed proceedings of the 6th International Workshop on Software Engineering for Resilient Systems, SERENE 2014, held in Budapest, Hungary, in October 2014. The 11 revised technical papers presented together with one project paper and one invited talk were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections on design of resilient systems; analysis of resilience; verification and validation; and monitoring.

Design of resilient systems.- Analysis of resilience.- Verification and validation.- Monitoring.

Erscheint lt. Verlag	25.9.2014
Reihe/Serie	Lecture Notes in Computer Science
Reihe/Serie	Programming and Software Engineering
Zusatzinfo	X, 185 p. 59 illus.
Verlagsort	Cham
Sprache	englisch
Maße	155 x 235 mm
Gewicht	308 g
Themenwelt	Mathematik / Informatik ► Informatik ► Theorie / Studium
Schlagworte	Adaptive Systems • Dependability • Evolution • failure modeling • formal modeling • Monitoring • Resilience • Software Architectures • Software Reliability • Verification and Validation
ISBN-10	3-319-12240-1 / 3319122401
ISBN-13	978-3-319-12240-3 / 9783319122403
Zustand	Neuware