| Description |
1 online resource (x, 163 pages) |
| Series |
Lecture notes in computer science, 0302-9743 ; 6968 |
|
LNCS sublibrary. SL 2, Programming and software engineering |
|
Lecture notes in computer science ; 6968.
|
|
LNCS sublibrary. SL 2, Programming and software engineering.
|
| Contents |
Preliminary interdependency analysis (PIA): method and tool support / Peter Popov -- Use case scenarios as verification conditions: Event-B/flow approach / Alexei Iliasov -- Quantitative verification of system safety in Event-B / Anton Tarasyuk, Elena Troubitsyna, and Linas Laibinis -- Experience-based model refinement / Didier Buchs, Steve Hostettler, and Alexis Marechal -- Architecting resilient computing systems: overall approach and open issues / Miruna Stoicescu, Jean-Charles Fabre, and Matthieu Roy -- Supporting architectural design decisions evolution through model driven engineering / Ivano Malavolta, Henry Muccini, and V. Smrithi Rekha -- On enabling dependability assurance in heterogeneous networks through automated model-based analysis / Paolo Masci, Nicola Nostro, and Felicita Di Giandomenico -- Supporting cross-language exception handling when extending applications with embedded languages / Anthony Savidis -- Guaranteeing correct evolution of software product lines: setting up the problem / Maurice H. ter Beek, Henry Muccini, and Patrizio Pelliccione -- Idealized fault-tolerant components in requirements engineering / Sadaf Mustafiz and Jörg Kienzle -- Predictability and evolution in resilient systems / Ivica Crnkovic -- Self-organising pervasive ecosystems: a crowd evacuation example / Sara Montagna [and others] -- Towards a model-driven infrastructure for runtime monitoring / Antonia Bertolino [and others] -- Using diversity in cloud-based deployment environment to avoid intrusions / Anatoliy Gorbenko [and others] -- Known secure sensor measurements for critical infrastructure systems: detecting falsification of system state / Miles McQueen and Annarita Giani |
| Summary |
This book constitutes the refereed proceedings of the Third International Workshop on Software Engineering for Resilient Systems, SERENE 2011, held in Geneva, Switzerland, in September 2011. The 13 revised full papers presented together with 2 invited talks were carefully reviewed and selected from numerous submissions. The papers address all aspects of formal modeling and verification, architecting resilient systems, fault tolerance, requirements engineering and product lines, monitoring and self-adaption, and security and intrusion avoidance |
| Analysis |
Computer Communication Networks |
|
Computer science |
|
Software engineering |
|
Programming Techniques |
|
engineering |
|
computernetwerken |
|
computer networks |
|
programmeren |
|
programming |
|
verontreinigingsbeheersing |
|
pollution control |
|
Engineering (General) |
|
Techniek (algemeen) |
| Bibliography |
Includes bibliographical references and author index |
| Notes |
English |
| In |
Springer eBooks |
| Subject |
Software engineering -- Congresses
|
|
Computer software -- Reliability -- Congresses
|
|
Informatique.
|
|
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 |
Troubitsyna, Elena (Elena A.), 1970-
|
| ISBN |
9783642241246 |
|
3642241247 |
|
9783642241239 |
|
3642241239 |
|
