Advertisement

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
  • David Garlan
  • Carlo Ghezzi
  • Holger Giese

Part of the Lecture Notes in Computer Science book series (LNCS, volume 9640)

Also part of the Programming and Software Engineering book sub series (LNPSE, volume 9640)

Table of contents

  1. Front Matter
    Pages I-X
  2. Research Challenges

    1. Front Matter
      Pages 1-1
    2. Rogério de Lemos, David Garlan, Carlo Ghezzi, Holger Giese, Jesper Andersson, Marin Litoiu et al.
      Pages 3-30
    3. Danny Weyns, Nelly Bencomo, Radu Calinescu, Javier Camara, Carlo Ghezzi, Vincenzo Grassi et al.
      Pages 31-63
    4. Bradley Schmerl, Jesper Andersson, Thomas Vogel, Myra B. Cohen, Cecilia M. F. Rubira, Yuriy Brun et al.
      Pages 64-89
    5. Marin Litoiu, Mary Shaw, Gabriel Tamura, Norha M. Villegas, Hausi A. Müller, Holger Giese et al.
      Pages 90-134
  3. Evaluation

    1. Front Matter
      Pages 135-135
    2. Amir Molzam Sharifloo, Andreas Metzger
      Pages 137-153
    3. Javier Cámara, David Garlan, Gabriel A. Moreno, Bradley Schmerl
      Pages 154-187
    4. Benedikt Eberhardinger, Gerrit Anders, Hella Seebach, Florian Siefert, Alexander Knapp, Wolfgang Reif
      Pages 188-222
    5. Radu Calinescu, Simos Gerasimou, Kenneth Johnson, Colin Paterson
      Pages 223-248
  4. Integration and Coordination

    1. Front Matter
      Pages 249-249
    2. Filip Křikava, Philippe Collet, Romain Rouvoy, Lionel Seinturier
      Pages 251-281
    3. Marco Autili, Paola Inverardi, Alexander Perucci, Massimo Tivoli
      Pages 282-306
    4. Nicolás Cardozo, Kim Mens, Siobhán Clarke
      Pages 307-348
    5. Eric Rutten, Nicolas Marchand, Daniel Simon
      Pages 349-373
  5. Reference Architectures and Platforms

    1. Front Matter
      Pages 375-375
    2. Victor Braberman, Nicolas D’Ippolito, Jeff Kramer, Daniel Sykes, Sebastian Uchitel
      Pages 377-408
    3. Valeria Cardellini, Emiliano Casalicchio, Vincenzo Grassi, Stefano Iannucci, Francesco Lo Presti, Raffaela Mirandola
      Pages 409-433
  6. Back Matter
    Pages 435-435

About these proceedings

Introduction

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.

Keywords

adaptive systems artificial intelligence computer software selection and evaluation evolutionary algorithms formal methods formal software verification genetic algorithms machine lerarning model checking self-adaptive semantics software design software engineering software systems software verification

Editors and affiliations

  • Rogério de Lemos
    • 1
  • David Garlan
    • 2
  • Carlo Ghezzi
    • 3
  • Holger Giese
    • 4
  1. 1.University of KentCanterburyUnited Kingdom
  2. 2.Carnegie Mellon UniversityPittsburghUSA
  3. 3.Politecnico di MilanoMilanItaly
  4. 4.Hasso Plattner Institute for Software Systems EngineeringPotsdamGermany

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-74183-3
  • Copyright Information Springer International Publishing AG 2017
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-74182-6
  • Online ISBN 978-3-319-74183-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site