Software Engineering for Resilient Systems: Fourth International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012, Proceedings by Paris AvgeriouSoftware Engineering for Resilient Systems: Fourth International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012, Proceedings by Paris Avgeriou

Software Engineering for Resilient Systems: Fourth International Workshop, SERENE 2012, Pisa, Italy…

byParis Avgeriou

Paperback | August 10, 2012

Pricing and Purchase Info

$83.99 online 
$99.50 list price save 15%
Earn 420 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

about

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.
Title:Software Engineering for Resilient Systems: Fourth International Workshop, SERENE 2012, Pisa, Italy…Format:PaperbackDimensions:181 pagesPublished:August 10, 2012Publisher:Springer-Verlag/Sci-Tech/TradeLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3642331750

ISBN - 13:9783642331756

Look for similar items by category:

Reviews

Table of Contents

Implementing Reusable Exception Handling Patterns with Compile-Time Metaprogramming.- A Case Study in Formal Development of a Fault Tolerant Multi-robotic System.- Fault-Tolerant Interactive Cockpits for Critical Applications: Overall Approach.- Linking Modelling in Event-B with Safety Cases.- Safety Lifecycle Development Process Modeling for Embedded Systems - Example of Railway Domain.- Language Enrichment for Resilient MDE.- Assume-Guarantee Testing of Evolving Software Product Line Architectures.- FAS: Introducing a Service for Avoiding Faults in Composite Services.- Dependability of Service-Oriented Computing: Time-Probabilistic Failure Modelling.- Monitoring Service Choreographies from Multiple Sources.- Supporting Field Investigators with PVS: A Case Study in the Healthcare Domain.- Model-Based Evaluation of the Availability of a CBTC System.

A Case Study in Formal Development of a Fault Tolerant Multi-robotic System.- Fault-Tolerant Interactive Cockpits for Critical Applications: Overall Approach.- Linking Modelling in Event-B with Safety Cases.- Safety Lifecycle Development Process Modeling for Embedded Systems - Example of Railway Domain.- Language Enrichment for Resilient MDE.- Assume-Guarantee Testing of Evolving Software Product Line Architectures.- FAS: Introducing a Service for Avoiding Faults in Composite Services.- Dependability of Service-Oriented Computing: Time-Probabilistic Failure Modelling.- Monitoring Service Choreographies from Multiple Sources.- Supporting Field Investigators with PVS: A Case Study in the Healthcare Domain.- Model-Based Evaluation of the Availability of a CBTC System.