Software Engineering for Resilient Systems

Fourth International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012, Proceedings

By: Paris Avgeriou (Editor)

Write A Review

Paperback | 10 August 2012

At a Glance

Paperback
192 Pages

Dimensions(cm)
23.5 x 15.49 x 1.04

Paperback

$74.99

or 4 interest-free payments of $18.75 with

Ships in 5 to 7 business days

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.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.