Save today: Get 40% off Social Science print books or $30 off eBooks in Engineering & Energy!

Programming and Software Engineering Lect.Notes ComputerState-of-the-Art Surveys

Software Engineering for Self-Adaptive Systems III. Assurances

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

Editors: de Lemos, R., Garlan, D., Ghezzi, C., Giese, H. (Eds.)

Free Preview

Buy this book

eBook $59.99
price for USA in USD (gross)
  • ISBN 978-3-319-74183-3
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $79.99
price for USA in USD
  • ISBN 978-3-319-74182-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

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.

Table of contents (14 chapters)

Table of contents (14 chapters)
  • Software Engineering for Self-Adaptive Systems: Research Challenges in the Provision of Assurances

    Lemos, Rogério (et al.)

    Pages 3-30

  • Perpetual Assurances for Self-Adaptive Systems

    Weyns, Danny (et al.)

    Pages 31-63

  • Challenges in Composing and Decomposing Assurances for Self-Adaptive Systems

    Schmerl, Bradley (et al.)

    Pages 64-89

  • What Can Control Theory Teach Us About Assurances in Self-Adaptive Software Systems?

    Litoiu, Marin (et al.)

    Pages 90-134

  • MCaaS: Model Checking in the Cloud for Assurances of Adaptive Systems

    Sharifloo, Amir Molzam (et al.)

    Pages 137-153

Buy this book

eBook $59.99
price for USA in USD (gross)
  • ISBN 978-3-319-74183-3
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $79.99
price for USA in USD
  • ISBN 978-3-319-74182-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Software Engineering for Self-Adaptive Systems III. Assurances
Book Subtitle
International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised Selected and Invited Papers
Editors
  • Rogério de Lemos
  • David Garlan
  • Carlo Ghezzi
  • Holger Giese
Series Title
Programming and Software Engineering
Series Volume
9640
Copyright
2017
Publisher
Springer International Publishing
Copyright Holder
Springer International Publishing AG
eBook ISBN
978-3-319-74183-3
DOI
10.1007/978-3-319-74183-3
Softcover ISBN
978-3-319-74182-6
Edition Number
1
Number of Pages
X, 435
Number of Illustrations
95 b/w illustrations
Topics