Software engineering for resilient systems [electronic resource] : 6th International Workshop, SERENE 2014, Budapest, Hungary, October 15-16, 2014. Proceedings / István Majzik, Marco Vieira (eds.).
2014
QA76.758
Linked e-resources
Linked Resource
Details
Title
Software engineering for resilient systems [electronic resource] : 6th International Workshop, SERENE 2014, Budapest, Hungary, October 15-16, 2014. Proceedings / István Majzik, Marco Vieira (eds.).
Meeting Name
ISBN
9783319122410 electronic book
331912241X electronic book
9783319122403
331912241X electronic book
9783319122403
Published
Cham : Springer, 2014.
Language
English
Description
1 online resource (x, 185 pages) : illustrations.
Item Number
10.1007/978-3-319-12241-0 doi
Call Number
QA76.758
Dewey Decimal Classification
005.1
Summary
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.
Note
International conference proceedings.
Includes author index.
Includes author index.
Access Note
Access limited to authorized users.
Source of Description
Online resource; title from PDF title page (SpringerLink, viewed October 13, 2014).
Added Author
Series
Lecture notes in computer science ; 8785.
LNCS sublibrary. SL 2, Programming and software engineering.
LNCS sublibrary. SL 2, Programming and software engineering.
Linked Resources
Record Appears in
Table of Contents
Design of resilient systems
Analysis of resilience
Verification and validation
Monitoring.
Analysis of resilience
Verification and validation
Monitoring.