TY  - BOOK
AU  - Fantechi,Alessandro
AU  - Pelliccione,Patrizio
ED  - SpringerLink (Online service)
TI  - Software Engineering for Resilient Systems: 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings 
T2  - Programming and Software Engineering
SN  - 9783319231297
AV  - QA76.758 
PY  - 2015///
CY  - Cham
PB  - Springer International Publishing, Imprint: Springer
KW  - Software engineering
KW  - Computer Communication Networks
KW  - Computer science
KW  - Logic design
KW  - Information Systems
KW  - Software Engineering
KW  - Information Systems Applications (incl. Internet)
KW  - Programming Languages, Compilers, Interpreters
KW  - Logics and Meanings of Programs
KW  - Management of Computing and Information Systems
N1  - Biological Immunity and Software Resilience: two faces of the same coin? -- Towards Dynamic Software Diversity for Resilient Redundant Embedded Systems: A decomposition method for the verification of a real-time safety-critical protocol -- Considering execution environment resilience: A white-box approach: Engineering Cross-Layer Fault Tolerance in Many-Core Systems -- Risk assessment based cloudification -- Stochastic Model-Based Analysis of Energy Consumption in a Rail Road Switch Heating System -- Bidirectional Crosslinking of System and Software Modeling in the Automotive Domain -- Tejo: a supervised anomaly detection scheme for NewSQL databases -- Resiliency Variance in Workows with Choice
N2  - This book constitutes the refereed proceedings of the 7th International Workshop on Software Engineering for Resilient Systems, SERENE 2015, held in Paris, France, in September 2015. The 10 revised technical papers presented were carefully reviewed and selected from 18 submissions. The papers are organized in topical sections on development of resilient systems, verification, validation and evaluation of resilience, case studies and applications
UR  - https://doi.org/10.1007/978-3-319-23129-7
ER  -