Software Engineering for Resilient Systems: 8th International Workshop, Serene 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings (Paperback, 2016)

Development of resilient systems.- Incremental development processes for resilient systems.- Requirements engineering and re-engineering for resilience.- Frameworks, patterns and software architectures for resilience.-Engineering of self-healing autonomic systems.- Design of trustworthy and intrusion-safe systems.- Resilience at run-time (mechanisms, reasoning and adaptation).- Resilience and dependability (resilience vs. robustness, dependable vs. adaptive systems).- Verification, validation and evaluation of resilience.- Modeling and model based analysis of resilience properties.- Formal and semi-formal techniques for verification and validation.- Experimental evaluations of resilient systems.- Quantitative approaches to ensuring resilience.- Resilience prediction.- Cast studies and applications.-Empirical studies in the domain of resilient systems.- Methodologies adopted in industrial contexts.- Cloud computing and resilient service provisioning.-Resilience for data-driven systems (e.g., big data-based adaption and resilience).- Resilient cyber-physical systems and infrastructures.- Global aspects of resilience engineering: education, training and cooperation.