LEADER 03123nam  2200613 a 450 
001 9910484826403321
005 20200520144314.0
010   $a3-540-35833-1
024 7 $a10.1007/11786160
035   $a(CKB)1000000000233039
035   $a(SSID)ssj0000316318
035   $a(PQKBManifestationID)11247791
035   $a(PQKBTitleCode)TC0000316318
035   $a(PQKBWorkID)10281774
035   $a(PQKB)10222313
035   $a(DE-He213)978-3-540-35833-6
035   $a(MiAaPQ)EBC3068097
035   $a(PPN)123136423
035   $a(EXLCZ)991000000000233039
100   $a20120306d2006      uy         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aArchitecting systems with trustworthy components $einternational seminar, Dagstuhl Castle, Germany, December 12-17, 2004 : revised selected papers /$fRalf H. Reussner, Judith A. Stafford, Clemens A. Szyperski (eds.)
205   $a1st ed. 2006.
210   $aBerlin $cSpringer$d2006
215   $a1 online resource (X, 299 p.) 
225 1 $aLecture notes in computer science,$x0302-9743 ;$v3938
225 1 $aLNCS sublibrary. SL 1, Theoretical computer science and general issues
300   $a"Dagstuhl Seminar 04511."--p. [vii].
311   $a3-540-35800-5 
320   $aIncludes bibliographical references and index.
327   $aInvited 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.
410  0$aLecture notes in computer science ;$v3938.
410  0$aLNCS sublibrary.$nSL 1,$pTheoretical computer science and general issues.
606   $aComputer architecture$vCongresses
606   $aComputer systems$xReliability$vCongresses
606   $aFault-tolerant computing$vCongresses
615  0$aComputer architecture
615  0$aComputer systems$xReliability
615  0$aFault-tolerant computing
676   $a005.1
701   $aReussner$b Ralf H$01751253
701   $aStafford$b Judith A$g(Judith Alyce)$01751254
701   $aSzyperski$b Clemens A$01751255
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910484826403321
996   $aArchitecting systems with trustworthy components$94186129
997   $aUNINA