Software Engineering for Resilient Systems
Fourth International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012, Proceedings
Editors: Avgeriou, Paris (Ed.)
Free Preview- Fast track conference proceedings
- Unique visibility
- State of the art research
Buy this book
- About this book
-
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.
- Table of contents (12 chapters)
-
-
Implementing Reusable Exception Handling Patterns with Compile-Time Metaprogramming
Pages 1-15
-
A Case Study in Formal Development of a Fault Tolerant Multi-robotic System
Pages 16-31
-
Fault-Tolerant Interactive Cockpits for Critical Applications: Overall Approach
Pages 32-46
-
Linking Modelling in Event-B with Safety Cases
Pages 47-62
-
Safety Lifecycle Development Process Modeling for Embedded Systems - Example of Railway Domain
Pages 63-75
-
Table of contents (12 chapters)
Recommended for you
Bibliographic Information
- Bibliographic Information
-
- Book Title
- Software Engineering for Resilient Systems
- Book Subtitle
- Fourth International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012, Proceedings
- Editors
-
- Paris Avgeriou
- Series Title
- Programming and Software Engineering
- Series Volume
- 7527
- Copyright
- 2012
- Publisher
- Springer-Verlag Berlin Heidelberg
- Copyright Holder
- Springer-Verlag Berlin Heidelberg
- eBook ISBN
- 978-3-642-33176-3
- DOI
- 10.1007/978-3-642-33176-3
- Softcover ISBN
- 978-3-642-33175-6
- Edition Number
- 1
- Number of Pages
- X, 181
- Number of Illustrations
- 64 b/w illustrations
- Topics
