| Description |
1 online resource |
| Series |
Lecture notes in computer science, 0302-9743 ; 7527 |
|
LNCS sublibrary. SL 2, Programming and software engineering |
|
Lecture notes in computer science ; 7527.
|
|
LNCS sublibrary. SL 2, Programming and software engineering.
|
| Contents |
Implementing Reusable Exception Handling Patterns with Compile-Time Metaprogramming / Yannis Lilis and Anthony Savidis -- A Case Study in Formal Development of a Fault Tolerant Multi-robotic System / Inna Pereverzeva, Elena Troubitsyna and Linas Laibinis -- Fault-Tolerant Interactive Cockpits for Critical Applications: Overall Approach / Camille Fayollas, Jean-Charles Fabre, David Navarre, Philippe Palanque and Yannick Deleris -- Linking Modelling in Event-B with Safety Cases / Yuliya Prokhorova and Elena Troubitsyna -- Safety Lifecycle Development Process Modeling for Embedded Systems -- Example of Railway Domain / Brahim Hamid, Jacob Geisel, Adel Ziani and David Gonzalez -- Language Enrichment for Resilient MDE / Yasir Imtiaz Khan and Matteo Risoldi -- Assume-Guarantee Testing of Evolving Software Product Line Architectures / Maurice H. ter Beek, Henry Muccini and Patrizio Pelliccione -- FAS: Introducing a Service for Avoiding Faults in Composite Services / Koray Gülcü, Hasan Sözer and Barış Aktemur -- Dependability of Service-Oriented Computing: Time-Probabilistic Failure Modelling / Anatoliy Gorbenko, Alexander Romanovsky, Vyacheslav Kharchenko and Olga Tarasyuk -- Monitoring Service Choreographies from Multiple Sources / Amira Ben Hamida, Antonia Bertolino, Antonello Calabrò, Guglielmo De Angelis and Nelson Lago, et al. -- Supporting Field Investigators with PVS: A Case Study in the Healthcare Domain / Paolo Masci, Dominic Furniss, Paul Curzon, Michael D. Harrison and Ann Blandford -- Model-Based Evaluation of the Availability of a CBTC System / Alessio Ferrari, Massimiliano L. Itria, Silvano Chiaradonna and Giorgio O. Spagnolo |
| Summary |
This book constitutes the refereed proceedings of the Fourth International Workshop on Software Engineering for Resilient Systems, SERENE 2012, held in Pisa, Italy, in September 2012. The 12 revised full papers were carefully reviewed and selected from numerous submissions. The papers address all aspects of fault tolerance and exception handling, safety modeling, supporting evolution, resilience in service-oriented computing, and applying formal methods in case studies |
| Analysis |
Computer science |
|
Computer Communication Networks |
|
Software engineering |
|
Operating systems (Computers) |
|
Information Systems Applications (incl. Internet) |
|
computerwetenschappen |
|
computer sciences |
|
informatiesystemen |
|
information systems |
|
internet |
|
operating systems |
|
computernetwerken |
|
computer networks |
|
Information and Communication Technology (General) |
|
Informatie- en communicatietechnologie (algemeen) |
| Bibliography |
Includes bibliographical references and author index |
| Notes |
English |
| 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 |
Avgeriou, Paris.
|
| ISBN |
9783642331763 |
|
3642331769 |
|
3642331750 |
|
9783642331756 |
|
