Software Engineering for Resilient Systems: Fourth International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012, Proceedings: 7527 - Brossura

 
9783642331756: Software Engineering for Resilient Systems: Fourth International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012, Proceedings: 7527

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Dalla quarta di copertina

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.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.