Software engineering for collective autonomic systems : the ascens approach / edited by Martin Wirsing, Matthias Hölzl, Nora Koch, Philip Mayer.

Springer eBooks

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.

Para consulta fuera de la UANL se requiere clave de acceso remoto.