Arabic
Software Engineering for Resilient Systems
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Implementing Reusable Exception Handling Patterns with Compile-Time Metaprogramming
-
Altmetric BadgeChapter 2 A Case Study in Formal Development of a Fault Tolerant Multi-robotic System
-
Altmetric BadgeChapter 3 Fault-Tolerant Interactive Cockpits for Critical Applications: Overall Approach
-
Altmetric BadgeChapter 4 Linking Modelling in Event-B with Safety Cases
-
Altmetric BadgeChapter 5 Safety Lifecycle Development Process Modeling for Embedded Systems - Example of Railway Domain
-
Altmetric BadgeChapter 6 Language Enrichment for Resilient MDE
-
Altmetric BadgeChapter 7 Assume-Guarantee Testing of Evolving Software Product Line Architectures
-
Altmetric BadgeChapter 8 FAS: Introducing a Service for Avoiding Faults in Composite Services
-
Altmetric BadgeChapter 9 Dependability of Service-Oriented Computing: Time-Probabilistic Failure Modelling
-
Altmetric BadgeChapter 10 Monitoring Service Choreographies from Multiple Sources
-
Altmetric BadgeChapter 11 Supporting Field Investigators with PVS: A Case Study in the Healthcare Domain
-
Altmetric BadgeChapter 12 Model-Based Evaluation of the Availability of a CBTC System
Attention for Chapter 5:
Safety Lifecycle Development Process Modeling for Embedded Systems - Example of Railway Domain