Get Free Shipping on orders over $79
Software Engineering for Resilient Systems : Fourth International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012, Proceedings - Paris Avgeriou

Software Engineering for Resilient Systems

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

By: Paris Avgeriou (Editor)

Paperback | 10 August 2012

At a Glance

Paperback


$74.99

or 4 interest-free payments of $18.75 with

 or 

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.

More in Software Engineering

The Essence of Software Engineering - Cersei Page
Building Microservices : Designing Fine-Grained Systems 2nd Edition - Sam Newman
Typescript Cookbook : Real World Type-Level Programming - Stefan Baumgartner
Arduino For Dummies : Blackwell Philosophy Anthologies - John Nussey
Developing Graphics Frameworks with Java and OpenGL - Lee Stemkoski
Design Patterns : Elements of Reusable Object-Oriented Software - Erich Gamma
Hacking For Dummies : For Dummies (Computer/Tech) - Kevin Beaver

RRP $49.95

$34.97

30%
OFF
Git : Pocket Guide : A Working Introduction - Richard Silverman

RRP $47.75

$26.75

44%
OFF
Coding All-in-One For Dummies : 2nd Edition - Chris Minnick

RRP $69.95

$48.97

30%
OFF
Architectural Approach to Level Design : Second edition - Christopher W. Totten
Go Cookbook : Expert Solutions for Commonly Needed Go Tasks - Sau Sheong Chang