Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Architecting Systems with Trustworthy Components: International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers > Unifying Hardware and Software Components for Embedded System Development
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
Springer Berlin Heidelberg
Architecting Systems with Trustworthy Components: International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers
Unifying Hardware and Software Components for Embedded System Development
Authors

Christian Bunse; Hans-Gerhard Gross

ARI Id

1664718370664_2900957

Access

Not Available Free

Pages

120-136

DOI

10.1007/11786160_7

Chapter URL

https://rd.springer.com/chapter/10.1007/11786160_7

Table of Contents of Book
Showing 1 to 17 of 17 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
Audition of Web Services for Testing Conformance to Open Specified Protocols
Antonia Bertolino; Lars Frantzen; Andrea Polini; Jan Tretmans
1-25
A Core Theory of Interfaces and Architecture and Its Impact on Object Orientation
Manfred Broy
26-47
Making Specifications Complete Through Models
Bernd Schoeller; Tobias Widmer; Bertrand Meyer
48-70
Bus Scheduling for TDL Components
Emilia Farcas; Wolfgang Pree; Josef Templ
71-83
Refinement and Consistency in Component Models with Multiple Views
Heike Wehrheim
84-102
A Taxonomy on Component-Based Software Engineering Methods
Christian Bunse; Felix C. Freiling; Nicole Levy
103-119
Unifying Hardware and Software Components for Embedded System Development
Christian Bunse; Hans-Gerhard Gross
120-136
On the Composition of Compositional Reasoning
Felix C. Freiling; Thomas Santen
137-151
Trustworthy Instantiation of Frameworks
Uwe Aßmann; Andreas Bartho; Falk Hartmann; Ilie Savga; Barbara Wittek
152-168
Performance Prediction of Component-Based Systems
Steffen Becker; Lars Grunske; Raffaela Mirandola; Sven Overhage
169-192
Towards an Engineering Approach to Component Adaptation
Steffen Becker; Antonio Brogi; Ian Gorton; Sven Overhage; Alexander Romanovsky; Massimo Tivoli
193-215
Compatible Component Upgrades Through Smart Component Swapping
Alexander Stuckenholz; Olaf Zwintzscher
216-226
Exceptions in Component Interaction Protocols – Necessity
Frantisek Plasil; Viliam Holub
227-244
Coalgebraic Semantics for Component Systems
Sabine Glesner; Jan Olaf Blech
245-261
A Type Theoretic Framework for Formal Metamodelling
Iman Poernomo
262-298
Back Matter
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 17 of 17 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings