Architecting Systems with Trustworthy Components - International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers

List of contents

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.

Product details

• Assisted by: Ralf H. Reussner (Editor), Judith A. Stafford (Editor), Clemens A. Szyperski (Editor)
• Publisher: Springer, Berlin
• Languages: English
• Product format: Paperback / Softback
• Released: 30.06.2006
• EAN: 9783540358008
• ISBN: 978-3-540-35800-8
• No. of pages: 299
• Weight: 445 g
• Illustrations: X, 299 p.
• Series: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
• Subjects: Natural sciences, medicine, IT, technology > IT, data processing > IT; C, Software Engineering, Computerprogrammierung und Softwareentwicklung, Betriebssysteme, Netzwerk-Hardware, Compiler und Übersetzer, computer science, Software Engineering/Programming and Operating Systems, Computer Communication Networks, Programming Techniques, Programming Languages, Compilers, Interpreters, Computer programming, Operating systems, Computer programming / software engineering, Computer communication systems, Programming & scripting languages: general, Compilers & interpreters, Programming languages (Electronic computers), Operating systems (Computers), Network hardware, Compilers and Interpreters