Description
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
Coordinators: Romanovsky Alexander, Troubitsyna Elena A.
Language: English
Subject for Software Engineering for Resilient Systems:
Keywords
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)
Publication date: 08-2017
Support: Print on demand
Support: Print on demand
Description
/li>Contents
/li>Comment
/li>
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.
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.
Modeling and specification.- Safety and security.- Fault tolerance, resilience and robustness software.
Includes supplementary material: sn.pub/extras
© 2024 LAVOISIER S.A.S.
