Editors:
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 10479)
Part of the book sub series: Programming and Software Engineering (LNPSE)
Conference series link(s): SERENE: International Workshop on Software Engineering for Resilient Systems
Conference proceedings info: SERENE 2017.
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (12 papers)
-
Front Matter
-
Invited Talk
-
Front Matter
-
-
Fault Tolerance, Resilience and Robustness
-
Front Matter
-
-
Back Matter
About this book
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.
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)
Editors and Affiliations
-
Newcastle University, Newcastle-upon-Tyne, United Kingdom
Alexander Romanovsky
-
Åbo Akademi University, Turku, Finland
Elena A. Troubitsyna
Bibliographic Information
Book Title: Software Engineering for Resilient Systems
Book Subtitle: 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4–5, 2017, Proceedings
Editors: Alexander Romanovsky, Elena A. Troubitsyna
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-65948-0
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing AG 2017
Softcover ISBN: 978-3-319-65947-3Published: 12 August 2017
eBook ISBN: 978-3-319-65948-0Published: 18 August 2017
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XIV, 201
Number of Illustrations: 56 b/w illustrations
Topics: Software Engineering, Logics and Meanings of Programs, Programming Languages, Compilers, Interpreters, System Performance and Evaluation, The Computing Profession, Artificial Intelligence