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...
Gorde:
| Egile nagusia: | |
|---|---|
| Beste egile batzuk: | , , , |
| Formatua: | Livre numérique |
| Hizkuntza: | Anglais |
| Argitaratua: |
Berlin, Heidelberg :
Springer Berlin Heidelberg
[20..].
Cham : Springer Nature |
| Edizioa: | 1st ed. 2013. |
| Saila: | Programming and Software Engineering
7740 |
| Sarrera elektronikoa: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Oharra: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Assurances for Self-Adaptive Systems, Texte imprimé, 9783642362484 • Assurances for Self-Adaptive Systems, Texte imprimé, 9783642362507 |
Aurkibidea:
- 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