Software Engineering for Resilient Systems 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings / [electronic resource] :
edited by Alexander Romanovsky, Elena A. Troubitsyna.
- 1st ed. 2017.
- XIV, 201 p. 56 illus. online resource.
- Programming and Software Engineering, 10479 2945-9168 ; .
- Programming and Software Engineering, 10479 .
Modeling and specification -- Safety and security -- Fault tolerance, resilience and robustness software.
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.
9783319659480
10.1007/978-3-319-65948-0 doi
Software engineering.
Computer science.
Compilers (Computer programs).
Electronic digital computers--Evaluation.
Computers.
Professions.
Artificial intelligence.
Software Engineering.
Computer Science Logic and Foundations of Programming.
Compilers and Interpreters.
System Performance and Evaluation.
The Computing Profession.
Artificial Intelligence.
QA76.758
005.1
Modeling and specification -- Safety and security -- Fault tolerance, resilience and robustness software.
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.
9783319659480
10.1007/978-3-319-65948-0 doi
Software engineering.
Computer science.
Compilers (Computer programs).
Electronic digital computers--Evaluation.
Computers.
Professions.
Artificial intelligence.
Software Engineering.
Computer Science Logic and Foundations of Programming.
Compilers and Interpreters.
System Performance and Evaluation.
The Computing Profession.
Artificial Intelligence.
QA76.758
005.1