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 (eds.)

• Pubblicazione: Berlin, : Springer, 2006
• Edizione: 1st ed. 2006.
• Descrizione fisica: 1 online resource (X, 299 p.)
• Disciplina: 005.1
• Soggetto topico: Computer architecture; Computer systems - Reliability; Fault-tolerant computing
• Altri autori: ReussnerRalf H StaffordJudith A (Judith Alyce) SzyperskiClemens A
• Note generali: "Dagstuhl Seminar 04511."--p. [vii].
• Nota di bibliografia: Includes bibliographical references and index.
• Nota di contenuto: 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.
• Titolo autorizzato: Architecting systems with trustworthy components
• ISBN: 3-540-35833-1
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 9910484826403321
• Lo trovi qui: Univ. Federico II
• Serie: Lecture notes in computer science ; ; 3938.; LNCS sublibrary. : SL 1, . -Theoretical computer science and general issues.