Assurances for Self-Adaptive Systems Principles, Models, and Techniques /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Cámara, Javier (Επιμελητής έκδοσης), Lemos, Rogério de (Επιμελητής έκδοσης), Ghezzi, Carlo (Επιμελητής έκδοσης), Lopes, Antónia (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
• Σειρά: Lecture Notes in Computer Science, 7740
• Θέματα: Computer science.; Computer communication systems.; Software engineering.; Programming languages (Electronic computers).; Operating systems (Computers).; Computer logic.; Computer Science.; Software Engineering.; Logics and Meanings of Programs.; Programming Languages, Compilers, Interpreters.; Computer Communication Networks.; Operating Systems.

The increasing complexity of systems and the growing uncertainty in their operational environments have created a critical need to develop systems able to improve their operation, adapt to change, and recover from failures autonomously. This situation has led to recent advances in self-adaptive syst...

Πίνακας περιεχομένων:

• 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.