03123nam 2200613 a 450 991048482640332120200520144314.03-540-35833-110.1007/11786160(CKB)1000000000233039(SSID)ssj0000316318(PQKBManifestationID)11247791(PQKBTitleCode)TC0000316318(PQKBWorkID)10281774(PQKB)10222313(DE-He213)978-3-540-35833-6(MiAaPQ)EBC3068097(PPN)123136423(EXLCZ)99100000000023303920120306d2006 uy 0engurnn|008mamaatxtccrArchitecting 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.)1st ed. 2006.Berlin Springer20061 online resource (X, 299 p.) Lecture notes in computer science,0302-9743 ;3938LNCS sublibrary. SL 1, Theoretical computer science and general issues"Dagstuhl Seminar 04511."--p. [vii].3-540-35800-5 Includes bibliographical references and index.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.Lecture notes in computer science ;3938.LNCS sublibrary.SL 1,Theoretical computer science and general issues.Computer architectureCongressesComputer systemsReliabilityCongressesFault-tolerant computingCongressesComputer architectureComputer systemsReliabilityFault-tolerant computing005.1Reussner Ralf H1751253Stafford Judith A(Judith Alyce)1751254Szyperski Clemens A1751255MiAaPQMiAaPQMiAaPQBOOK9910484826403321Architecting systems with trustworthy components4186129UNINA