Cargando…
Assurances for Self-Adaptive Systems Principles, Models, and Techniques /
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...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor Corporativo: | |
| Otros Autores: | , , , |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2013.
|
| Edición: | 1st ed. 2013. |
| Colección: | Programming and Software Engineering,
7740 |
| Temas: | |
| Acceso en línea: | Texto Completo |
Tabla de Contenidos:
- 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.