The proceedings contain 15 papers. The topics discussed include: preliminary interdependency analysis (PIA): method and tool support; use case scenarios as verification conditions: event-B/flow approach; quantitative verification of system safety in event-B; experience-based model refinement; architecting resilient computing systems: overall approach and open issues; supporting architectural design decisions evolution through model driven engineering; on enabling dependability assurance in heterogeneous networks through automated model-based analysis; supporting cross-language exception handling when extending applications with embedded languages; guaranteeing correct evolution of software product lines: setting up the problem; idealized fault-tolerant components in requirements engineering; and self-organising pervasive ecosystems: a crowd evacuation example.
CITATION STYLE
ter Beek, M. H., Muccini, H., & Pelliccione, P. (2012). Software Engineering for Resilient Systems. (P. Avgeriou, Ed.) (Vol. 7527, pp. 91–105). Berlin, Heidelberg: Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-33176-3
Mendeley helps you to discover research relevant for your work.