Del 0 - Lecture Notes in Computer Science

Assurances for Self-Adaptive Systems

Principles, Models, and Techniques

Häftad, Engelska, 2013

AvJavier Cámara,Rogério de Lemos,Carlo Ghezzi,Antonia Lopes,Javier Camara,Rogerio de Lemos

719 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

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.

Produktinformation

Utgivningsdatum2013-01-09
Mått155 x 235 x 20 mm
Vikt534 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor341
Upplaga2013
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783642362484

Tillhör följande kategorier

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.

Du kanske också är intresserad av

Del 9640

Software Engineering for Self-Adaptive Systems III. Assurances

Rogério de Lemos, David Garlan, Carlo Ghezzi, Holger Giese

Häftad

719 kr

Del 10475

Software Architecture

Antónia Lopes, Rogério de Lemos, Antonia Lopes, Rogerio de Lemos

Häftad

719 kr

Del 14485

Formal Aspects of Component Software

Javier Cámara, Sung-Shik Jongmans, Javier Camara

Häftad

899 kr

Fundamental Approaches to Software Engineering

Matthew B. Dwyer, Antonia Lopes

Häftad

719 kr

Del 12226

Software Engineering and Formal Methods

Javier Camara, Martin Steffen

Häftad

1 009 kr

Software Architecture

Henry Muccini, Paris Avgeriou, Barbora Buhnova, Javier Camara, Mauro Caporuscio, Mirco Franzago, Anne Koziolek, Patrizia Scandurra, Catia Trubiani, Danny Weyns, Uwe Zdun

Häftad

1 439 kr