Software Engineering for Resilient Systems

4th International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012. Proceedings

  • Paris Avgeriou
Conference proceedings SERENE 2012
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7527)

Table of contents

  1. Front Matter
  2. Fault Tolerance and Exception Handling

    1. Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis
      Pages 16-31
    2. Camille Fayollas, Jean-Charles Fabre, David Navarre, Philippe Palanque, Yannick Deleris
      Pages 32-46
  3. Safety Modeling

    1. Yuliya Prokhorova, Elena Troubitsyna
      Pages 47-62
    2. Brahim Hamid, Jacob Geisel, Adel Ziani, David Gonzalez
      Pages 63-75
  4. Supporting Evolution

    1. Yasir Imtiaz Khan, Matteo Risoldi
      Pages 76-90
    2. Maurice H. ter Beek, Henry Muccini, Patrizio Pelliccione
      Pages 91-105
  5. Resilience in Service-Oriented Computing

    1. Koray Gülcü, Hasan Sözer, Barış Aktemur
      Pages 106-120
    2. Anatoliy Gorbenko, Alexander Romanovsky, Vyacheslav Kharchenko, Olga Tarasyuk
      Pages 121-133
    3. Amira Ben Hamida, Antonia Bertolino, Antonello Calabrò, Guglielmo De Angelis, Nelson Lago, Julien Lesbegueries
      Pages 134-149
  6. Applying Formal Methods in Case Studies

    1. Paolo Masci, Dominic Furniss, Paul Curzon, Michael D. Harrison, Ann Blandford
      Pages 150-164
    2. Alessio Ferrari, Massimiliano L. Itria, Silvano Chiaradonna, Giorgio O. Spagnolo
      Pages 165-179
  7. Back Matter

About these proceedings

Introduction

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.

Keywords

Web service autonomic systems failure modeling software architectures software patterns

Editors and affiliations

  • Paris Avgeriou
    • 1
  1. 1.University of GroningenGroningenThe Netherlands

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-33176-3
  • Copyright Information Springer-Verlag Berlin Heidelberg 2012
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-33175-6
  • Online ISBN 978-3-642-33176-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book