Software Engineering for Resilient Systems
9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4–5, 2017, Proceedings
Buch in deiner Nähe kaufen
Beschreibung
This book constitutes the refereed proceedings of the International Workshop on Software Engineering for Resilient Systems, SERENE 2017, held in Geneva; Switzerland, in September 2017.
The 11 papers presented together with 2 invited talks were carefully reviewed and selected from 16 submissions. They cover the following areas: modeling and specification; safety and security; fault tolerance, resilience and robustness software.
Includes supplementary material: sn.pub/extras
Autor*in
Alexander Romanovsky
Themen in »Software Engineering for Resilient Systems«
Architecture description languages Cloud computing Computer software selection and evaluation Data security Formal methods Model checking Model-driven software engineering Semantics Software defect analysis Software engineering Software fault tolerance Software reliability Software system models Software testing and debugging Software verification and validation