Items related to Assurances for Self-Adaptive Systems: Principles, Models,...

Assurances for Self-Adaptive Systems: Principles, Models, and Techniques - Softcover

 
9783642362507: Assurances for Self-Adaptive Systems: Principles, Models, and Techniques
Softcover
ISBN 10: 3642362508 ISBN 13: 9783642362507
Publisher: Springer, 2013

This specific ISBN edition is currently not available.

Synopsis

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.

"synopsis" may belong to another edition of this title.

(No Available Copies)

Search Books:



Create a Want

Can't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!

Create a Want

Other Popular Editions of the Same Title

9783642362484: Assurances for Self-Adaptive Systems: Principles, Models, and Techniques (Programming and Software Engineering)

Featured Edition

ISBN 10:  3642362486 ISBN 13:  9783642362484
Publisher: Springer, 2013
Softcover