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. - Programming and Software Engineering ; 10479 .

Modeling and specification -- Safety and security -- Fault tolerance, resilience and robustness software.

Available to subscribing member institutions only. Доступно лише організаціям членам підписки.

Анотація:
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 logic.
Programming languages (Electronic computers).
Computer system failures.
Computers.
Artificial intelligence.
Software Engineering.
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.
System Performance and Evaluation.
The Computing Profession.
Artificial Intelligence.

LC Class. No.: QA76.758

Dewey Class. No.: 005.1