Architecting Systems with Trustworthy Components (Record no. 14341)
[ view plain ]
| 020 ## - | |
|---|---|
| -- | 9783540358336 |
| -- | 978-3-540-35833-6 |
| 024 7# - | |
| -- | 10.1007/11786160 |
| -- | doi |
| 050 #4 - | |
| -- | QA76.758 |
| 072 #7 - | |
| -- | UMZ |
| -- | bicssc |
| 072 #7 - | |
| -- | COM051230 |
| -- | bisacsh |
| 082 04 - | |
| -- | 005.1 |
| -- | 23 |
| 100 1# - | |
| -- | Reussner, Ralf H. |
| -- | editor. |
| 245 10 - | |
| -- | Architecting 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. Szyperski. |
| 264 #1 - | |
| -- | Berlin, Heidelberg : |
| -- | Springer Berlin Heidelberg, |
| -- | 2006. |
| 300 ## - | |
| -- | X, 299 p. Also available online. |
| -- | online resource. |
| 336 ## - | |
| -- | text |
| -- | txt |
| -- | rdacontent |
| 337 ## - | |
| -- | computer |
| -- | c |
| -- | rdamedia |
| 338 ## - | |
| -- | online resource |
| -- | cr |
| -- | rdacarrier |
| 347 ## - | |
| -- | text file |
| -- | |
| -- | rda |
| 490 1# - | |
| -- | Lecture Notes in Computer Science, |
| -- | 0302-9743 ; |
| -- | 3938 |
| 505 0# - | |
| -- | 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. |
| 520 ## - | |
| -- | Software 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 - | |
| -- | Computer science. |
| 650 #0 - | |
| -- | Computer Communication Networks. |
| 650 #0 - | |
| -- | Software engineering. |
| 650 #0 - | |
| -- | Operating systems (Computers). |
| 650 #0 - | |
| -- | Logic design. |
| 650 14 - | |
| -- | Computer Science. |
| 650 24 - | |
| -- | Software Engineering. |
| 650 24 - | |
| -- | Computer Communication Networks. |
| 650 24 - | |
| -- | Programming Techniques. |
| 650 24 - | |
| -- | Operating Systems. |
| 650 24 - | |
| -- | Programming Languages, Compilers, Interpreters. |
| 650 24 - | |
| -- | Logics and Meanings of Programs. |
| 700 1# - | |
| -- | Stafford, Judith A. |
| -- | editor. |
| 700 1# - | |
| -- | Szyperski, Clemens A. |
| -- | editor. |
| 710 2# - | |
| -- | SpringerLink (Online service) |
| 773 0# - | |
| -- | Springer eBooks |
| 776 08 - | |
| -- | Printed edition: |
| -- | 9783540358008 |
| 830 #0 - | |
| -- | Lecture Notes in Computer Science, |
| -- | 0302-9743 ; |
| -- | 3938 |
| 856 40 - | |
| -- | http://dx.doi.org/10.1007/11786160 |
| 912 ## - | |
| -- | ZDB-2-SCS |
| 912 ## - | |
| -- | ZDB-2-LNC |
| 950 ## - | |
| -- | Computer Science (Springer-11645) |
| 999 ## - | |
| -- | 14341 |
| -- | 14341 |
No items available.