Software Engineering for Self-Adaptive Systems III. Assurances Software Engineering for Self-Adaptive Systems III. Assurances

Software Engineering for Self-Adaptive Systems III. Assurances

International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised Selected and Invited Papers

Rogério de Lemos and Others
    • $39.99
    • $39.99

Publisher Description

A major challenge for modern software systems is to become more cost-effective, while being versatile, flexible, resilient, energy-efficient, customizable, and configurable when reacting to run-time changes that may occur within the system itself, its environment or requirements. One of the most promising approaches to achieving such properties is to equip the software system with self-adaptation capabilities. Despite recent advances in this area, one key aspect that remains to be tackled in depth is the provision of assurances. Originating from a Dagstuhl seminar held in December 2013, this book constitutes the third volume in the series “Software Engineering for Self-Adaptive Systems”, and looks specifically into the provision of assurances. Opening with an overview chapter on Research Challenges, the book presents 13 further chapters written and carefully reviewed by internationally leading researchers in the field. The book is divided into topical sections on research challenges, evaluation, integration and coordination, and reference architectures and platforms.

GENRE
Computers & Internet
RELEASED
2018
January 16
LANGUAGE
EN
English
LENGTH
445
Pages
PUBLISHER
Springer International Publishing
SELLER
Springer Nature B.V.
SIZE
5.7
MB

More Books Like This

Engineering Adaptive Software Systems Engineering Adaptive Software Systems
2019
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems
2018
Software Engineering for Resilient Systems Software Engineering for Resilient Systems
2011
Foundations of Computer Software Foundations of Computer Software
2011
Software Engineering for Resilient Systems Software Engineering for Resilient Systems
2016
Software Engineering and Formal Methods Software Engineering and Formal Methods
2018

More Books by Rogério de Lemos, David Garlan, Carlo Ghezzi & Holger Giese

Software Engineering for Self-Adaptive Systems Software Engineering for Self-Adaptive Systems
2009
Software Architecture Software Architecture
2017
Architecting Dependable Systems VII Architecting Dependable Systems VII
2010
Architecting Dependable Systems IV Architecting Dependable Systems IV
2007
Architecting Dependable Systems V Architecting Dependable Systems V
2008
Architecting Dependable Systems VI Architecting Dependable Systems VI
2009