Nothing Special   »   [go: up one dir, main page]
Skip to main content
Springer Nature Link
Log in

Architecting Systems with Trustworthy Components

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

  • Conference proceedings
  • © 2006

Overview

Editors:
  1. Ralf H. Reussner

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Judith A. Stafford

    1. Computer Science, Boston, Tufts University, Medford, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Clemens A. Szyperski

    1. Microsoft, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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)

  • 6255 Accesses

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

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

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Keywords

Table of contents (15 papers)

  1. Front Matter

    Download chapter PDF

  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. A Core Theory of Interfaces and Architecture and Its Impact on Object Orientation

      • Manfred Broy
      Pages 26-47

    3. Making Specifications Complete Through Models

      • Bernd Schoeller, Tobias Widmer, Bertrand Meyer
      Pages 48-70

    4. Bus Scheduling for TDL Components

      • Emilia Farcas, Wolfgang Pree, Josef Templ
      Pages 71-83

    5. Refinement and Consistency in Component Models with Multiple Views

      • Heike Wehrheim
      Pages 84-102

  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

    10. A Type Theoretic Framework for Formal Metamodelling

      • Iman Poernomo
      Pages 262-298

  4. Back Matter

    Download chapter PDF
Back to top

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

Publish with us

Policies and ethics

Back to top

Search

Navigation