03623nam 22007215 450 99646585920331620230406000130.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)99100000000023303920100301d2006 u| 0engurnn|008mamaatxtccrArchitecting Systems with Trustworthy Components[electronic resource] International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers /edited by Ralf H. Reussner, Judith A. Stafford, Clemens A. Szyperski1st ed. 2006.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2006.1 online resource (X, 299 p.) Theoretical Computer Science and General Issues,2512-2029 ;3938"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.Theoretical Computer Science and General Issues,2512-2029 ;3938Software engineeringComputer networksComputer programmingOperating systems (Computers)Compilers (Computer programs)Software EngineeringComputer Communication NetworksProgramming TechniquesOperating SystemsCompilers and InterpretersSoftware engineering.Computer networks.Computer programming.Operating systems (Computers).Compilers (Computer programs).Software Engineering.Computer Communication Networks.Programming Techniques.Operating Systems.Compilers and Interpreters.005.1Reussner Ralf Hedthttp://id.loc.gov/vocabulary/relators/edtStafford Judith Aedthttp://id.loc.gov/vocabulary/relators/edtSzyperski Clemens Aedthttp://id.loc.gov/vocabulary/relators/edtBOOK996465859203316Architecting Systems with Trustworthy Components771997UNISA