Advertisement

Architecting Systems with Trustworthy Components

International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers

  • Ralf H. Reussner
  • Judith A. Stafford
  • Clemens A. Szyperski

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

Table of contents

  1. Front Matter
  2. Invited Articles

    1. Antonia Bertolino, Lars Frantzen, Andrea Polini, Jan Tretmans
      Pages 1-25
    2. Bernd Schoeller, Tobias Widmer, Bertrand Meyer
      Pages 48-70
    3. Emilia Farcas, Wolfgang Pree, Josef Templ
      Pages 71-83
  3. Articles by Participants

    1. Christian Bunse, Felix C. Freiling, Nicole Levy
      Pages 103-119
    2. Christian Bunse, Hans-Gerhard Gross
      Pages 120-136
    3. Felix C. Freiling, Thomas Santen
      Pages 137-151
    4. Uwe Aßmann, Andreas Bartho, Falk Hartmann, Ilie Savga, Barbara Wittek
      Pages 152-168
    5. Steffen Becker, Lars Grunske, Raffaela Mirandola, Sven Overhage
      Pages 169-192
    6. Steffen Becker, Antonio Brogi, Ian Gorton, Sven Overhage, Alexander Romanovsky, Massimo Tivoli
      Pages 193-215
    7. Alexander Stuckenholz, Olaf Zwintzscher
      Pages 216-226
    8. Frantisek Plasil, Viliam Holub
      Pages 227-244
    9. Sabine Glesner, Jan Olaf Blech
      Pages 245-261
  4. Back Matter

About these proceedings

Keywords

Exception Isabelle/HOL component interaction component management component models component-based software engineering distributed computing distributed systems embedded systems formal methods metamodelling modeling performance analysis semantics systems testin

Editors and affiliations

  • Ralf H. Reussner
    • 1
  • Judith A. Stafford
    • 2
  • Clemens A. Szyperski
    • 3
  1. 1.Chair for Software Design and QualityUniversity of Karlsruhe (TH)KarlsruheGermany
  2. 2.Computer Science, BostonTufts UniversityMedfordUSA
  3. 3.MicrosoftUSA

Bibliographic information

  • DOI https://doi.org/10.1007/11786160
  • Copyright Information Springer-Verlag Berlin Heidelberg 2006
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-35800-8
  • Online ISBN 978-3-540-35833-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site