Assurances for Self-Adaptive Systems  Principles, Models, and Techniques /  [electronic resource] : 
edited by Javier Cámara, Rogério de Lemos, Carlo Ghezzi, Antónia Lopes. 
 - Berlin, Heidelberg :  Springer Berlin Heidelberg,  2013. 
 - 1 online resource (X, 341 p. 94 ill.) 
 - Lecture Notes in Computer Science,  7740  0302-9743 ; .
<br/><br/>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. 
<br/><br/><label>ISBN: </label>9783642362491 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.<br/>Computer communication systems.<br/>Software engineering.<br/>Programming languages (Electronic computers).<br/>Operating systems (Computers).<br/>Computer logic.