| Description |
1 online resource (x, 199 pages) : illustrations |
| Series |
Lecture notes in computer science, 0302-9743 ; 8166 |
|
LNCS sublibrary. SL 2, Programming and software engineering |
|
Lecture notes in computer science ; 8166. 0302-9743
|
|
LNCS sublibrary. SL 2, Programming and software engineering.
|
| Contents |
Keynote Talks. Empirical Assessment of Resilience / András Pataricza [and others] -- Security-Informed Safety: If It's Not Secure, It's Not Safe / Robin Bloomfield, Kateryna Netkachova and Robert Stroud -- Resilient Software and Design. Engineering a Platform for Mission Planning of Autonomous and Resilient Quadrotors / Davide Di Ruscio, Ivano Malavolta and Patrizio Pelliccione -- Towards Agile Development of Critical Software / Janusz Górski and Katarzyna Łukasiewicz -- Supporting the Evolution of Free and Open Source Software Distributions / Davide Di Ruscio and Patrizio Pelliccione -- Rigorous Reasoning. Optimizing Verification of Structurally Evolving Algebraic Petri Nets / Yasir Imtiaz Khan -- A Case Study in Refinement-Based Modelling of a Resilient Control System / Yuliya Prokhorova, Elena Troubitsyna and Linas Laibinis -- Synthesis of Resilient Choreographies / Marco Autili, Amleto Di Salle and Massimo Tivoli -- Applications. Formal Development and Quantitative Assessment of a Resilient Multi-robotic System / Anton Tarasyuk [and others] -- The SafeCap Project on Railway Safety Verification and Capacity Simulation / Alexei Iliasov, Ilya Lopatkin and Alexander Romanovsky -- Modeling of Autonomous Vehicle Operation in Intelligent Transportation Systems / Mark Woodard and Sahra Sedigh -- Concepts. Preliminary Contributions Towards Auto-resilience / Vincenzo De Florio -- A New Approach to Software Reliability / Dmitry A. Maevsky -- Analysis. Static Analysis Approach for Defect Detection in Multithreaded C/C++ Programs / Mikhail Moiseev -- Stochastic Model-Based Analysis of Railway Operation to Support Traffic Planning / Felicita Di Giandomenico [and others] Leone Itria |
| Summary |
This book constitutes the refereed proceedings of the 5th International Workshop on Software Engineering for Resilient Systems, SERENE 2013, held in Kiev, Ukraine, in October 2013. The 13 revised full papers were carefully reviewed and selected from 21 submissions. The papers are organized in topical sections on resilient software and design, rigorous reasoning, applications, concepts, and analysis |
| Notes |
Includes author index |
| Bibliography |
Includes author index |
| Notes |
Online resource; title from PDF title page (SpringerLink, viewed September 16, 2013) |
| Subject |
Software engineering -- Congresses
|
|
Computer software -- Reliability -- Congresses
|
|
Computer programs.
|
|
Computer software.
|
|
Software
|
|
software.
|
|
Computer software
|
|
Computer programs
|
|
Computer software -- Reliability
|
|
Software engineering
|
| Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
| Form |
Electronic book
|
| Author |
Gorbenko, A. (Anatoliy), editor.
|
|
Romanovsky, Alexander, 1954- editor.
|
|
Kharchenko, Vyacheslav, editor
|
| ISBN |
9783642408946 |
|
364240894X |
|
