网上购物 货比三家
您现在的位置:快乐比价网 > 图书 > 教育/科技 > 科学与研究 > 商品详情

应用可靠构件的基础结构系统/会议论文集Architecting systems with

分享到:
应用可靠构件的基础结构系统/会议论文集Architecting systems with

最 低 价:¥488.20

定 价:¥542.40

作 者:Ralf H. Reussner 著

出 版 社:湖北辞书出版社

出版时间:2006-12-1

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

商品评论(0条)

暂无评论!

您的浏览历史

loading 内容加载中,请稍后...