Cantitate/Preț
Produs

Software Engineering for Collective Autonomic Systems: The ASCENS Approach: Lecture Notes in Computer Science, cartea 8998

Editat de Martin Wirsing, Matthias Hölzl, Nora Koch, Philip Mayer
en Limba Engleză Paperback – 18 mar 2015
A collective autonomic system consists of collaborating autonomic entities which are able to adapt at runtime, adjusting to the state of the environment and incorporating new knowledge into their behavior. These highly dynamic systems are also known as ensembles. To ensure correct behavior of ensembles it is necessary to support their development through appropriate methods and tools which can guarantee that an autonomic system lives up to its intended purpose; this includes respecting important constraints of the environment.This State-of-the-Art Survey addresses the engineering of such systems by presenting the methods, tools and theories developed within the ASCENS project. ASCENS was an integrated project funded in the period2010-2015 by the 7th Framework Programme (FP7) of the European Commission as part of the Future Emerging Technologies Proactive Initiative (FET Proactive). The 17 contributions included in this book are organized in four parts corresponding to the research areas of the project and their concrete applications: (I) language and verification for self-awareness and self-expression, (II) modeling and theory of self-aware and adaptive systems, (III) engineering techniques for collective autonomic systems, and last but not least, (IV) challenges and feedback provided by the case studies of the project in the areas of swarm robotics, cloud computing and e-mobility.
Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 33800 lei

Preț vechi: 42250 lei
-20% Nou

Puncte Express: 507

Preț estimativ în valută:
6469 6719$ 5373£

Carte tipărită la comandă

Livrare economică 03-17 februarie 25

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783319163093
ISBN-10: 3319163094
Pagini: 552
Ilustrații: XIV, 535 p. 159 illus.
Dimensiuni: 155 x 235 x 29 mm
Greutate: 0.76 kg
Ediția:2015
Editura: Springer International Publishing
Colecția Springer
Seriile Lecture Notes in Computer Science, Programming and Software Engineering

Locul publicării:Cham, Switzerland

Public țintă

Research

Cuprins

The SCEL Language: Design, Implementation, Verification.- Reconfigurable and Software-Defined Networks of Connectors and Components.- Correctness of Service Components and Service Component Ensembles.- Reconciling White-Box and Black-Box Perspectives on Behavioral Self-adaptation.- From Local to Global Knowledge and Back.- Knowledge Representation for Adaptive and Self-aware Systems.- Reasoning and Learning for Awareness and Adaptation.- Supporting Performance Awareness in Autonomous Ensembles.- The Ensemble Development Life Cycle and Best Practices for Collective Autonomic Systems.- Methodological Guidelines for Engineering Self-organization and Emergence.- Engineering Requirements for Autonomy Features.- The Invariant Refinement Method.- The ASCENS Case Studies: Results and Common Aspects.- Adaptation and Awareness in Robot Ensembles: Scenarios and Algorithms.- The Autonomic Cloud.- The E-mobility Case Study.

Caracteristici

State-of-the-art contents Presents methods, tools and theories developed within the ASCENS project Contributions by international experts