Amazon cover image
Image from Amazon.com

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

By: Contributor(s): Material type: TextTextSeries: Lecture notes in computer science ; 7527. | LNCS sublibrary. SL 2, Programming and software engineering.Publication details: Berlin ; New York : Springer, ©2012.Description: 1 online resourceContent type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 9783642331763
  • 3642331769
  • 3642331750
  • 9783642331756
Other title:
  • SERENE 2012
Subject(s): Genre/Form: Additional physical formats: Print version:: Software engineering for resilient systems.DDC classification:
  • 005.1 23
LOC classification:
  • QA76.758 .S47 2012
Other classification:
  • 54.52
Online resources:
Contents:
Implementing Reusable Exception Handling Patterns with Compile-Time Metaprogramming / Yannis Lilis and Anthony Savidis -- A Case Study in Formal Development of a Fault Tolerant Multi-robotic System / Inna Pereverzeva, Elena Troubitsyna and Linas Laibinis -- Fault-Tolerant Interactive Cockpits for Critical Applications: Overall Approach / Camille Fayollas, Jean-Charles Fabre, David Navarre, Philippe Palanque and Yannick Deleris -- Linking Modelling in Event-B with Safety Cases / Yuliya Prokhorova and Elena Troubitsyna -- Safety Lifecycle Development Process Modeling for Embedded Systems -- Example of Railway Domain / Brahim Hamid, Jacob Geisel, Adel Ziani and David Gonzalez -- Language Enrichment for Resilient MDE / Yasir Imtiaz Khan and Matteo Risoldi -- Assume-Guarantee Testing of Evolving Software Product Line Architectures / Maurice H. ter Beek, Henry Muccini and Patrizio Pelliccione -- FAS: Introducing a Service for Avoiding Faults in Composite Services / Koray Gülcü, Hasan Sözer and Barış Aktemur -- Dependability of Service-Oriented Computing: Time-Probabilistic Failure Modelling / Anatoliy Gorbenko, Alexander Romanovsky, Vyacheslav Kharchenko and Olga Tarasyuk -- Monitoring Service Choreographies from Multiple Sources / Amira Ben Hamida, Antonia Bertolino, Antonello Calabrò, Guglielmo De Angelis and Nelson Lago, et al. -- Supporting Field Investigators with PVS: A Case Study in the Healthcare Domain / Paolo Masci, Dominic Furniss, Paul Curzon, Michael D. Harrison and Ann Blandford -- Model-Based Evaluation of the Availability of a CBTC System / Alessio Ferrari, Massimiliano L. Itria, Silvano Chiaradonna and Giorgio O. Spagnolo.
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.
Holdings
Item type Current library Collection Call number Status Date due Barcode Item holds
eBook eBook e-Library eBook LNCS Available
Total holds: 0

Implementing Reusable Exception Handling Patterns with Compile-Time Metaprogramming / Yannis Lilis and Anthony Savidis -- A Case Study in Formal Development of a Fault Tolerant Multi-robotic System / Inna Pereverzeva, Elena Troubitsyna and Linas Laibinis -- Fault-Tolerant Interactive Cockpits for Critical Applications: Overall Approach / Camille Fayollas, Jean-Charles Fabre, David Navarre, Philippe Palanque and Yannick Deleris -- Linking Modelling in Event-B with Safety Cases / Yuliya Prokhorova and Elena Troubitsyna -- Safety Lifecycle Development Process Modeling for Embedded Systems -- Example of Railway Domain / Brahim Hamid, Jacob Geisel, Adel Ziani and David Gonzalez -- Language Enrichment for Resilient MDE / Yasir Imtiaz Khan and Matteo Risoldi -- Assume-Guarantee Testing of Evolving Software Product Line Architectures / Maurice H. ter Beek, Henry Muccini and Patrizio Pelliccione -- FAS: Introducing a Service for Avoiding Faults in Composite Services / Koray Gülcü, Hasan Sözer and Barış Aktemur -- Dependability of Service-Oriented Computing: Time-Probabilistic Failure Modelling / Anatoliy Gorbenko, Alexander Romanovsky, Vyacheslav Kharchenko and Olga Tarasyuk -- Monitoring Service Choreographies from Multiple Sources / Amira Ben Hamida, Antonia Bertolino, Antonello Calabrò, Guglielmo De Angelis and Nelson Lago, et al. -- Supporting Field Investigators with PVS: A Case Study in the Healthcare Domain / Paolo Masci, Dominic Furniss, Paul Curzon, Michael D. Harrison and Ann Blandford -- Model-Based Evaluation of the Availability of a CBTC System / Alessio Ferrari, Massimiliano L. Itria, Silvano Chiaradonna and Giorgio O. Spagnolo.

Includes bibliographical references and author index.

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.

English.

Powered by Koha