Software Engineering for Collective Autonomic Systems: The Ascens Approach (Paperback, 2015)

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.