000 04213nam a22005655i 4500
001 978-3-540-35833-6
003 DE-He213
005 20201213201010.0
007 cr nn 008mamaa
008 100301s2006 gw | s |||| 0|eng d
020 _a9783540358336
_9978-3-540-35833-6
024 7 _a10.1007/11786160
_2doi
050 4 _aQA76.758
072 7 _aUMZ
_2bicssc
072 7 _aCOM051230
_2bisacsh
082 0 4 _a005.1
_223
100 1 _aReussner, Ralf H.
_eeditor.
245 1 0 _aArchitecting Systems with Trustworthy Components
_h[electronic resource] :
_bInternational Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers /
_cedited by Ralf H. Reussner, Judith A. Stafford, Clemens A. Szyperski.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c2006.
300 _aX, 299 p. Also available online.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v3938
505 0 _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.
520 _aSoftware components are most generally viewed as a means of software re-use and, as such, much past research has been devoted to the study of problems associated with - tegrating components into cohesive systems. However, even when a collection of tru- worthycomponentshavebeensuccessfullyassembledthequalityoftheresultantsystem is not guaranteed. In December 2004, 41 experts on this topic from around the world, from research as well as industrial organizations, came together at Dagstuhl to discuss pressing issues related to architecting software systems from trustworthy components. Duringthecourseofthecold,yetsunny,DecemberdaysinDagstuhl,discussions- sions addressed topics such as compositionalreasoningon varioussystem-level prop- ties (such as deadlocks, live-locks etc.), compositional prediction models for different quality attributes (such as performance or reliability), blame analysis, interaction p- tocols, and composition frameworks. Using the liberal form of Dagstuhl Seminars, the days of the seminar were ?lled mostly with discussion in a variety of settings: in wo- ing sessions, around the table at meals, small groups in a corner, and also all together in the main meeting room.
650 0 _aComputer science.
650 0 _aComputer Communication Networks.
650 0 _aSoftware engineering.
650 0 _aOperating systems (Computers).
650 0 _aLogic design.
650 1 4 _aComputer Science.
650 2 4 _aSoftware Engineering.
650 2 4 _aComputer Communication Networks.
650 2 4 _aProgramming Techniques.
650 2 4 _aOperating Systems.
650 2 4 _aProgramming Languages, Compilers, Interpreters.
650 2 4 _aLogics and Meanings of Programs.
700 1 _aStafford, Judith A.
_eeditor.
700 1 _aSzyperski, Clemens A.
_eeditor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783540358008
830 0 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v3938
856 4 0 _uhttp://dx.doi.org/10.1007/11786160
912 _aZDB-2-SCS
912 _aZDB-2-LNC
950 _aComputer Science (Springer-11645)
999 _c14341
_d14341