Software Engineering for Collective Autonomic Systems The ASCENS Approach /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Wirsing, Martin (Επιμελητής έκδοσης), Hölzl, Matthias (Επιμελητής έκδοσης), Koch, Nora (Επιμελητής έκδοσης), Mayer, Philip (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2015.
• Σειρά: Lecture Notes in Computer Science, 8998
• Θέματα: Computer science.; Computer programming.; Software engineering.; Programming languages (Electronic computers).; Computer logic.; Mathematical logic.; Artificial intelligence.; Computer Science.; Software Engineering.; Logics and Meanings of Programs.; Programming Languages, Compilers, Interpreters.; Programming Techniques.; Mathematical Logic and Formal Languages.; Artificial Intelligence (incl. Robotics).

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 ensemb...

Πίνακας περιεχομένων:

• 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.