Architecting Systems with Trustworthy Components : International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers
Uloženo v:
Další autoři: | |
---|---|
Korporace: | |
Médium: | E-kniha |
Jazyk: | angličtina |
Vydáno: |
Berlin ; Heidelberg :
Springer Berlin Heidelberg,
2006
|
Edice: | Lecture Notes in Computer Science
|
Žánr/forma: | elektronické knihy |
ISBN: | 978-3-540-35833-6 9783540358008 |
Témata: | |
On-line přístup: | Plný text |
Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo otaguje tento záznam!
|
Obsah:
- Invited Articles
- Audition of Web Services for Testing Conformance to Open Specified Protocols
- A Core Theory of Interfaces and Architecture and Its Impact on Object Orientation
- Making Specifications Complete Through Models
- Bus Scheduling for TDL Components
- Refinement and Consistency in Component Models with Multiple Views
- Articles by Participants
- A Taxonomy on Component-Based Software Engineering Methods
- Unifying Hardware and Software Components for Embedded System Development
- On the Composition of Compositional Reasoning
- Trustworthy Instantiation of Frameworks
- Performance Prediction of Component-Based Systems
- Towards an Engineering Approach to Component Adaptation
- Compatible Component Upgrades Through Smart Component Swapping
- Exceptions in Component Interaction Protocols - Necessity
- Coalgebraic Semantics for Component Systems
- A Type Theoretic Framework for Formal Metamodelling