Normal view MARC view ISBD view

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.

ISBN: 9783319659480

Standard No.: 10.1007/978-3-319-65948-0 doi

Subjects--Topical Terms:
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.

LC Class. No.: QA76.758

Dewey Class. No.: 005.1