Skip to main content
  • Conference proceedings
  • © 2006

Architecting Systems with Trustworthy Components

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

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (15 papers)

  1. Front Matter

  2. Invited Articles

    1. Audition of Web Services for Testing Conformance to Open Specified Protocols

      • Antonia Bertolino, Lars Frantzen, Andrea Polini, Jan Tretmans
      Pages 1-25
    2. Making Specifications Complete Through Models

      • Bernd Schoeller, Tobias Widmer, Bertrand Meyer
      Pages 48-70
    3. Bus Scheduling for TDL Components

      • Emilia Farcas, Wolfgang Pree, Josef Templ
      Pages 71-83
  3. Articles by Participants

    1. A Taxonomy on Component-Based Software Engineering Methods

      • Christian Bunse, Felix C. Freiling, Nicole Levy
      Pages 103-119
    2. Unifying Hardware and Software Components for Embedded System Development

      • Christian Bunse, Hans-Gerhard Gross
      Pages 120-136
    3. On the Composition of Compositional Reasoning

      • Felix C. Freiling, Thomas Santen
      Pages 137-151
    4. Trustworthy Instantiation of Frameworks

      • Uwe Aßmann, Andreas Bartho, Falk Hartmann, Ilie Savga, Barbara Wittek
      Pages 152-168
    5. Performance Prediction of Component-Based Systems

      • Steffen Becker, Lars Grunske, Raffaela Mirandola, Sven Overhage
      Pages 169-192
    6. Towards an Engineering Approach to Component Adaptation

      • Steffen Becker, Antonio Brogi, Ian Gorton, Sven Overhage, Alexander Romanovsky, Massimo Tivoli
      Pages 193-215
    7. Compatible Component Upgrades Through Smart Component Swapping

      • Alexander Stuckenholz, Olaf Zwintzscher
      Pages 216-226
    8. Exceptions in Component Interaction Protocols – Necessity

      • Frantisek Plasil, Viliam Holub
      Pages 227-244
    9. Coalgebraic Semantics for Component Systems

      • Sabine Glesner, Jan Olaf Blech
      Pages 245-261
  4. Back Matter

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

  • Chair for Software Design and Quality, University of Karlsruhe (TH), Karlsruhe, Germany

    Ralf H. Reussner

  • Computer Science, Boston, Tufts University, Medford, USA

    Judith A. Stafford

  • Microsoft, USA

    Clemens A. Szyperski

Bibliographic Information

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions