Software engineering for resilient systems : 4th International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012. Proceedings /

Saved in:
Bibliographic Details
Meeting name:SERENE (Workshop) (4th : 2012 : Pisa, Italy)
Imprint:Berlin ; New York : Springer, ©2012.
Description:1 online resource.
Language:English
Series:Lecture notes in computer science, 0302-9743 ; 7527
LNCS sublibrary. SL 2, Programming and software engineering
Lecture notes in computer science ; 7527.
LNCS sublibrary. SL 2, Programming and software engineering.
Subject:
Format: E-Resource Book
URL for this record:http://pi.lib.uchicago.edu/1001/cat/bib/11077417
Hidden Bibliographic Details
Varying Form of Title:SERENE 2012
Other authors / contributors:Avgeriou, Paris.
ISBN:9783642331763
3642331769
3642331750
9783642331756
9783642331756
Notes:Includes bibliographical references and author index.
Summary: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.