TY - BOOK AU - Avgeriou,Paris ED - SpringerLink (Online service) TI - Software Engineering for Resilient Systems: 4th International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012. Proceedings T2 - Lecture Notes in Computer Science, SN - 9783642331763 AV - QA76.758 U1 - 005.1 23 PY - 2012/// CY - Berlin, Heidelberg PB - Springer Berlin Heidelberg, Imprint: Springer KW - Computer science KW - Computer Communication Networks KW - Software engineering KW - Operating systems (Computers) KW - Computer Science KW - Software Engineering KW - Information Systems Applications (incl. Internet) KW - Operating Systems N2 - 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 UR - http://dx.doi.org/10.1007/978-3-642-33176-3 ER -