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 |