Titlebook: Software Engineering for Resilient Systems; Fourth International Paris Avgeriou Conference proceedings 2012 Springer-Verlag Berlin Heidelbe

Cpr951

Safety Lifecycle Development Process Modeling for Embedded Systems - Example of Railway Domainftware engineering on solid theory and on proven principles. We took such an approach towards software engineering process modeling for embedded system applications with security and dependability requirements, focusing on the problem of integrating safety during the process design to clarify assess

Conquest

IRK

Assume-Guarantee Testing of Evolving Software Product Line Architectures. In this paper, we propose a novel assume-guarantee testing approach as a solution to the following research question: . The underlying idea is to retest only some of the products that conform to the software product line architecture and to infer, using assume-guarantee reasoning, the correctness

Surgeon

STYX

Dependability of Service-Oriented Computing: Time-Probabilistic Failure Modelling clients. The model takes into account a time-probabilistic relationship between different servicing outcomes and failures modes. We put forward a set of measures for estimating dependability of service provisioning from the client’s viewpoint and present analytical models to be used for the assessm

大量杀死

Lasting

Longitude

ANIM

floodgate

Implementing Reusable Exception Handling Patterns with Compile-Time Metaprogrammingd, while the adoption of compile-time metaprogramming allows configuring the pattern deployment within the original client source based on application requirements. We examine key exception handling scenarios and we implement them as configurable and reusable pattern libraries in an existing meta-language.