default search action

combined dblp search
author search
venue search
publication search

ask others

Outcome of a Dagstuhl Seminar: Architecting Systems with Trustworthy Components 2004

> Home > Conferences and Workshops > Dagstuhl

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/dagstuhl/2004trust
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/2004trust
Ralf H. Reussner, Judith A. Stafford, Clemens A. Szyperski:
Architecting Systems with Trustworthy Components, International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers. Lecture Notes in Computer Science 3938, Springer 2006, ISBN 3-540-35800-5

Invited Articles

- view
  authority control:
- export record
  dblp key:
  - conf/dagstuhl/BertolinoFPT04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/BertolinoFPT04
Antonia Bertolino, Lars Frantzen, Andrea Polini, Jan Tretmans:
Audition of Web Services for Testing Conformance to Open Specified Protocols. 1-25
- view
  authority control:
- export record
  dblp key:
  - conf/dagstuhl/Broy04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/Broy04
Manfred Broy:
A Core Theory of Interfaces and Architecture and Its Impact on Object Orientation. 26-47
- view
  authority control:
- export record
  dblp key:
  - conf/dagstuhl/SchoellerWM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/SchoellerWM04
Bernd Schoeller, Tobias Widmer, Bertrand Meyer:
Making Specifications Complete Through Models. 48-70
- view
  authority control:
- export record
  dblp key:
  - conf/dagstuhl/FarcasPT04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/FarcasPT04
Emilia Farcas, Wolfgang Pree, Josef Templ:
Bus Scheduling for TDL Components. 71-83
- view
  authority control:
- export record
  dblp key:
  - conf/dagstuhl/Wehrheim04a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/Wehrheim04a
Heike Wehrheim:
Refinement and Consistency in Component Models with Multiple Views. 84-102

Articles by Participants

- view
  authority control:
- export record
  dblp key:
  - conf/dagstuhl/BunseFL04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/BunseFL04
Christian Bunse, Felix C. Freiling, Nicole Lévy:
A Taxonomy on Component-Based Software Engineering Methods. 103-119
- view
  authority control:
- export record
  dblp key:
  - conf/dagstuhl/BunseG04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/BunseG04
Christian Bunse, Hans-Gerhard Groß:
Unifying Hardware and Software Components for Embedded System Development. 120-136
- view
  authority control:
- export record
  dblp key:
  - conf/dagstuhl/FreilingS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/FreilingS04
Felix C. Freiling, Thomas Santen:
On the Composition of Compositional Reasoning. 137-151
- view
  authority control:
- export record
  dblp key:
  - conf/dagstuhl/AssmannBHSW04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/AssmannBHSW04
Uwe Aßmann, Andreas Bartho, Falk Hartmann, Ilie Savga, Barbara Wittek:
Trustworthy Instantiation of Frameworks. 152-168
- view
  authority control:
- export record
  dblp key:
  - conf/dagstuhl/BeckerGMO04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/BeckerGMO04
Steffen Becker, Lars Grunske, Raffaela Mirandola, Sven Overhage:
Performance Prediction of Component-Based Systems - A Survey from an Engineering Perspective. 169-192
- view
  authority control:
- export record
  dblp key:
  - conf/dagstuhl/BeckerBGORT04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/BeckerBGORT04
Steffen Becker, Antonio Brogi, Ian Gorton, Sven Overhage, Alexander B. Romanovsky, Massimo Tivoli:
Towards an Engineering Approach to Component Adaptation. 193-215
- view
  authority control:
- export record
  dblp key:
  - conf/dagstuhl/StuckenholzZ04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/StuckenholzZ04
Alexander Stuckenholz, Olaf Zwintzscher:
Compatible Component Upgrades Through Smart Component Swapping. 216-226
- view
  authority control:
- export record
  dblp key:
  - conf/dagstuhl/PlasilH04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/PlasilH04
Frantisek Plásil, Viliam Holub:
Exceptions in Component Interaction Protocols - Necessity. 227-244
- view
  authority control:
- export record
  dblp key:
  - conf/dagstuhl/GlesnerB04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/GlesnerB04
Sabine Glesner, Jan Olaf Blech:
Coalgebraic Semantics for Component Systems. 245-261
- view
  authority control:
- export record
  dblp key:
  - conf/dagstuhl/Poernomo04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/Poernomo04
Iman Poernomo:
A Type Theoretic Framework for Formal Metamodelling. 262-298

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.