Hugendubel.info - Die B2B Online-Buchhandlung 

Merkliste
Die Merkliste ist leer.
Bitte warten - die Druckansicht der Seite wird vorbereitet.
Der Druckdialog öffnet sich, sobald die Seite vollständig geladen wurde.
Sollte die Druckvorschau unvollständig sein, bitte schliessen und "Erneut drucken" wählen.

Assurances for Self-Adaptive Systems

Principles, Models, and Techniques
BuchKartoniert, Paperback
341 Seiten
Englisch
Springererschienen am09.01.2013
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.mehr
Verfügbare Formate
BuchKartoniert, Paperback
EUR53,49
E-BookPDF1 - PDF WatermarkE-Book
EUR53,49

Produkt

KlappentextThe 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.
Zusammenfassung
Contains papers from recognized experts

Valuable for both practitioners and researchers

Stepping stone for future research
Details
ISBN/GTIN978-3-642-36248-4
ProduktartBuch
EinbandartKartoniert, Paperback
Verlag
Erscheinungsjahr2013
Erscheinungsdatum09.01.2013
ReiheLecture Notes in Computer Science
Seiten341 Seiten
SpracheEnglisch
Gewicht539 g
IllustrationenX, 341 p. 94 illus.
Artikel-Nr.20383697

Inhalt/Kritik

Inhaltsverzeichnis
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 MechatronicSystems 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.mehr

Autor