应用可靠构件的基础结构系统/会议论文集Architecting systems with
点此进入淘宝搜索页搜索分類: 图书,进口原版书,科学与技术 Science & Techology ,
作者： Ralf H. Reussner 著
出 版 社： 湖北辞书出版社
出版时间： 2006-12-1字数：版次： 1页数： 298印刷时间： 2006/12/01开本：印次：纸张： 胶版纸I S B N ： 9783540358008包装： 平装编辑推荐
The LNCS series reports state-of-the-art results in computer science research,development,and education,at a high level and in both printed and electronic form.Enjoying tight cooperation with the R&D community,with numerous individuals,as well as with prestigious organizations and societies,LNCS has grown into the most comprehensive computer science resarch forum available.
The scope of LNCS,including its subseries LNAI,spans the whole range of computer science and information technology including interdisciplinary topics in a variety of application fields.The type of material publised traditionally includes.
-proceedings(published in time for the respective conference)
-post-proceedings(consisting of thoroughly revised final full papers)
-research monographs(which may be basde on outstanding PhD work,research projects,technical reports,etc.).
内容简介
This book constitutes the thoroughly refereed post-proceedings of the International Dagstuhl-Seminar on Architecting Systems with Trustworthy Components, held in Dagstuhl Castle, Germany, in December 2004.
The 10 revised full papers presented together with 5 invited papers contributed by outstanding researchers were carefully selected and included in the book reflecting ongoing impovement from the seminar. Core problems addressed by the seminar are measurement and normalization of non-functional properties, modular reasoning over non-functional properties, capture of component requirements in interfaces and protocols, interference and synergy of top-down and bottom-up aspects, duality of componentization and architecture, system properties, and opportunities for correctness by construction/static checking.
目录
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 Comoositional Reasoning
Trustworthy Instantiation of Frameworks
Performance Prediction of Component-Based Systems-A Survey form an Engineering Perspective
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
Author Index
