EAN: 9783319458915

SOFTWARE ENGINEERING FOR RESILIENT SYSTEMS KART...

This book constitutes the refereed proceedings of the 8th International Workshop on Software
Engineering for Resilient Systems  SERENE 2016  held in Gothenburg  Sweden  in September
2016.The 10 papers presented were carefully reviewed and selected from 15 submissions. They
cover the following areas: 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.

Aktuelle Preise zur EAN 9783319458915

Produktinformationen zur 9783319458915