Software Engineering for Resilient Systems, 1st ed. 2017 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings Programming and Software Engineering Series
Coordonnateurs : Romanovsky Alexander, Troubitsyna Elena A.
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
Date de parution : 08-2017
Ouvrage de 201 p.
15.5x23.5 cm
Thème de Software Engineering for Resilient Systems :
Mots-clés :
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; Specification languages; Unified modeling Language (UML)