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.

Produktinformation

Utgivningsdatum:2012-08-10
Mått:155 x 235 x 11 mm
Vikt:300 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:181
Upplaga:2012
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783642331756

Utforska kategorier

Innehållsförteckning

Implementing Reusable Exception Handling Patterns with Compile-Time Metaprogramming.- A Case Study in Formal Development of a Fault Tolerant Multi-robotic System.- Fault-Tolerant Interactive Cockpits for Critical Applications: Overall Approach.- Linking Modelling in Event-B with Safety Cases.- Safety Lifecycle Development Process Modeling for Embedded Systems – Example of Railway Domain.- Language Enrichment for Resilient MDE.- Assume-Guarantee Testing of Evolving Software Product Line Architectures.- FAS: Introducing a Service for Avoiding Faults in Composite Services.- Dependability of Service-Oriented Computing: Time-Probabilistic Failure Modelling.- Monitoring Service Choreographies from Multiple Sources.- Supporting Field Investigators with PVS: A Case Study in the Healthcare Domain.- Model-Based Evaluation of the Availability of a CBTC System. A Case Study in Formal Development of a Fault Tolerant Multi-robotic System.- Fault-Tolerant Interactive Cockpits for CriticalApplications: Overall Approach.- Linking Modelling in Event-B with Safety Cases.- Safety Lifecycle Development Process Modeling for Embedded Systems – Example of Railway Domain.- Language Enrichment for Resilient MDE.- Assume-Guarantee Testing of Evolving Software Product Line Architectures.- FAS: Introducing a Service for Avoiding Faults in Composite Services.- Dependability of Service-Oriented Computing: Time-Probabilistic Failure Modelling.- Monitoring Service Choreographies from Multiple Sources.- Supporting Field Investigators with PVS: A Case Study in the Healthcare Domain.- Model-Based Evaluation of the Availability of a CBTC System.

Mer från samma författare

Henry Muccini, Paris Avgeriou, Barbora Buhnova, Javier Camara, Mauro Caporuscio, Mirco Franzago, Anne Koziolek, Patrizia Scandurra, Catia Trubiani, Danny Weyns, Uwe Zdun - Software Architecture, Häftad

Del 1269

Software Architecture

Henry Muccini, Paris Avgeriou, Barbora Buhnova, Javier Camara, Mauro Caporuscio, Mirco Franzago, Anne Koziolek, Patrizia Scandurra, Catia Trubiani, Danny Weyns, Uwe Zdun

Häftad, 2020

1 135 kr

Software Architecture

Uwe Zdun, Danny Weyns, Catia Trubiani, Patrizia Scandurra, Anne Koziolek, Mirco Franzago, Mauro Caporuscio, Javier Camara, Barbora Buhnova, Paris Avgeriou, Henry Muccini

E-bok

2020

1 470 kr

Handbook on Teaching Empirical Software Engineering

Daniel Mendez, Paris Avgeriou, Marcos Kalinowski, Nauman Bin Ali

Inbunden, 2024

2 454 kr

Handbook on Teaching Empirical Software Engineering

Nauman Bin Ali, Marcos Kalinowski, Paris Avgeriou, Daniel Mendez

E-bok

2024

3 181 kr

Handbook on Teaching Empirical Software Engineering

Daniel Mendez, Paris Avgeriou, Marcos Kalinowski, Nauman Bin Ali

Häftad, 2025

2 525 kr

Del 8627

Software Architecture

Paris Avgeriou, Uwe Zdun

Häftad, 2014

571 kr

Software Architecture

Uwe Zdun, Paris Avgeriou

E-bok

2014

739 kr

Transactions on Pattern Languages of Programming II

Paris Avgeriou, Neil B. Harrison, Uwe Zdun

Häftad, 2011

571 kr

Transactions on Pattern Languages of Programming II

Uwe Zdun, Neil B. Harrison, Paris Avgeriou

E-bok

2011

739 kr

Relating Software Requirements and Architectures

Paris Avgeriou, John Grundy, Jon G. Hall, Patricia Lago, Ivan Mistrík

Inbunden, 2011

1 135 kr

Mer från samma serie

Multiobjective Optimization

Jürgen Branke, Kalyanmoy Deb, Kaisa Miettinen, Roman Slowiński

Häftad, 2008

554 kr

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang - Knowledge Graphs, Häftad

Del 16297

Knowledge Graphs

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang

Häftad, 2026

932 kr

Agent Mediated Electronic Commerce II

Alexandros Moukas, Carles Sierra, Fredrik Ygge

Häftad, 2000

571 kr

Del 16096

Energy Informatics

Ivo Martinac, Bo Nørregaard Jørgensen, Zheng Grace Ma, Rúnar Unnþórsson, Chiara Bordin

Häftad, 2025

842 kr

Alejandro Jiménez Rodríguez, Rafael Mestre, Chaona Chen, Anna Mura, Edmund Barker, Paul Verschure, Tony Prescott - Biomimetic and Biohybrid Systems, Häftad

Del 15582

Biomimetic and Biohybrid Systems

Alejandro Jiménez Rodríguez, Rafael Mestre, Chaona Chen, Anna Mura, Edmund Barker, Paul Verschure, Tony Prescott

Häftad, 2025

1 022 kr

Extended Reality

Lucio Tommaso De Paolis, Pasquale Arpaia, Marco Sacco

Häftad, 2026

1 164 kr

Reliable Software Technologies - Ada-Europe '98

Lars Asplund

Häftad, 1998

571 kr

Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson - Advanced Parallel Processing Technologies, Häftad

Nyhet

Del 16693

Advanced Parallel Processing Technologies

Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson

Häftad, 2026

1 022 kr

Del 16832

Progress in Cryptology - AFRICACRYPT 2026

Nadia El Mrabet, Loubna Ghammam, Francisco Rodríguez-Henríquez

Häftad, 2026

932 kr

David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek - Electronic Participation, Häftad

Nyhet

Electronic Participation

David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek

Häftad, 2026

730 kr

Du kanske också är intresserad av

10% rabatt på allt

Adventskalender Ravensburger pussel 2026

Ravensburger

319 kr