LEADER 03623nam  22007215  450 
001 996465859203316
005 20230406000130.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   $a20100301d2006      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aArchitecting Systems with Trustworthy Components$b[electronic resource] $eInternational Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers /$fedited by Ralf H. Reussner, Judith A. Stafford, Clemens A. Szyperski
205   $a1st ed. 2006.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2006.
215   $a1 online resource (X, 299 p.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v3938
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$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v3938
606   $aSoftware engineering
606   $aComputer networks
606   $aComputer programming
606   $aOperating systems (Computers)
606   $aCompilers (Computer programs)
606   $aSoftware Engineering
606   $aComputer Communication Networks
606   $aProgramming Techniques
606   $aOperating Systems
606   $aCompilers and Interpreters
615  0$aSoftware engineering.
615  0$aComputer networks.
615  0$aComputer programming.
615  0$aOperating systems (Computers).
615  0$aCompilers (Computer programs).
615 14$aSoftware Engineering.
615 24$aComputer Communication Networks.
615 24$aProgramming Techniques.
615 24$aOperating Systems.
615 24$aCompilers and Interpreters.
676   $a005.1
702   $aReussner$b Ralf H$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aStafford$b Judith A$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aSzyperski$b Clemens A$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a996465859203316
996   $aArchitecting Systems with Trustworthy Components$9771997
997   $aUNISA