TY  - BOOK
AU  - Cámara,Javier
AU  - Lemos,Rogério de
AU  - Ghezzi,Carlo
AU  - Lopes,Antónia
TI  - Assurances for Self-Adaptive Systems: Principles, Models, and Techniques 
SN  - 9783642362491
PY  - 2013///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
KW  - Computer science
KW  - Computer communication systems
KW  - Software engineering
KW  - Programming languages (Electronic computers)
KW  - Operating systems (Computers)
KW  - Computer logic
N1  - Model Checking Adaptive Software with Featured Transition Systems -- Probabilistic Verification at Runtime for Self-Adaptive Systems -- Verification of a Self-configuration Protocol for Distributed Applications in the Cloud -- Formal Modeling and Verification of Self-* Systems Based on Observer/Controller-Architectures -- Timed Hazard Analysis of Self-healing Systems -- Model-Driven Development of Safe Self-optimizing Mechatronic Systems with MechatronicUML -- Model-Based Reasoning for Self-Adaptive Systems - Theory and Practice -- Achieving Self-adaptation through Dynamic Group Management -- Accurate Proactive Adaptation of Service-Oriented Systems -- Failure Avoidance in Configurable Systems through Feature Locality -- Emerging Techniques for the Engineering of Self Adaptive High-Integrity Software -- Assurance of Self-adaptive Controllers for the Cloud
UR  - http://dx.doi.org/10.1007/978-3-642-36249-1
ER  -