40% Rabatt auf Lehrbücher inklusive kostenlosem Versand weltweit und Springer Protocols eBooks für je 9,99!

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

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

Vorschau

Dieses Buch kaufen

eBook 55,92 €
Preis für Deutschland (Brutto)
  • ISBN 978-3-319-74183-3
  • Versehen mit digitalem Wasserzeichen, DRM-frei
  • Erhältliche Formate: PDF, EPUB
  • eBooks sind auf allen Endgeräten nutzbar
  • Sofortiger eBook Download nach Kauf
Softcover 70,62 €
Preis für Deutschland (Brutto)
  • ISBN 978-3-319-74182-6
  • Kostenfreier Versand für Individualkunden weltweit
  • Gewöhnlich versandfertig in 3-5 Werktagen.
Über dieses Buch

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.

Inhaltsverzeichnis (14 Kapitel)

Inhaltsverzeichnis (14 Kapitel)
  • Software Engineering for Self-Adaptive Systems: Research Challenges in the Provision of Assurances

    Seiten 3-30

    Lemos, Rogério (et al.)

  • Perpetual Assurances for Self-Adaptive Systems

    Seiten 31-63

    Weyns, Danny (et al.)

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

    Seiten 64-89

    Schmerl, Bradley (et al.)

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

    Seiten 90-134

    Litoiu, Marin (et al.)

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

    Seiten 137-153

    Sharifloo, Amir Molzam (et al.)

Dieses Buch kaufen

eBook 55,92 €
Preis für Deutschland (Brutto)
  • ISBN 978-3-319-74183-3
  • Versehen mit digitalem Wasserzeichen, DRM-frei
  • Erhältliche Formate: PDF, EPUB
  • eBooks sind auf allen Endgeräten nutzbar
  • Sofortiger eBook Download nach Kauf
Softcover 70,62 €
Preis für Deutschland (Brutto)
  • ISBN 978-3-319-74182-6
  • Kostenfreier Versand für Individualkunden weltweit
  • Gewöhnlich versandfertig in 3-5 Werktagen.
Loading...

Wir empfehlen

Loading...

Bibliografische Information

Bibliographic Information
Buchtitel
Software Engineering for Self-Adaptive Systems III. Assurances
Buchuntertitel
International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised Selected and Invited Papers
Herausgeber
  • Rogério de Lemos
  • David Garlan
  • Carlo Ghezzi
  • Holger Giese
Titel der Buchreihe
Programming and Software Engineering
Buchreihen Band
9640
Copyright
2017
Verlag
Springer International Publishing
Copyright Inhaber
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
Auflage
1
Seitenzahl
X, 435
Anzahl der Bilder
95 schwarz-weiß Abbildungen
Themen