图书简介
This 2000 collection of articles by well-known experts moves from theoretical frameworks, models, and systems of notation to case studies by researchers. The emphasis is on advances in the technological infrastructure of component-based systems, how to design and specify reusable components, and how to verify and validate systems from components.
Introduction: component software - a snapshot and future directions Clemens Szyperski; Part I. Frameworks and Architectures: 1. Key concepts in architecture definition languages David C. Luckham, James Vera and Sigurd Meldal; 2. Acme: a basis for architectural integration David Garlan, Robert Monroe and David Wile; 3. An extensible language for composition Markus Lumpe, Franz Achermann and Oscar Nierstrasz; 4. A framework for a formal and automated approach to component-based reuse Betty H. C. Cheng and Yonghao Chen; Part II. Object-Based Specification and Verification: 5. Behavioral subtyping Gary T. Leavens and Krishna Kishore Dhara; 6. Modular specification and verification techniques for object-oriented software components Peter Mueller and Arnd Poetzsch-Heffter; 7. Respectful type converters for objects Jeannette M. Wing and John Ockerbloom; Part III. Formal Models and Semantics: 8. A formal model of componentware Klaus Bergner, Manfred Broy, Andreas Rausch, Marc Sihling and Alexander Vilbig; 9. General semantic spaces for specifications and templates David S. Gibson, Bruce W. Weide, Steven H. Edwards and Scott Pike; 10. An implementation-oriented semantics for module composition Joseph Goguen and Will Tracz; Part IV. Reactive and Distributed Systems: 11. Composition of reactive system components K. Lano, J. Bicarregui, T. Maibaum and J. Fiadeiro; 12. The IOA language and toolset: support for mathematics-based distributed programming Stephen J. Garland and Nancy A. Lynch.
Trade Policy 买家须知
- 关于产品:
- ● 正版保障:本网站隶属于中国国际图书贸易集团公司,确保所有图书都是100%正版。
- ● 环保纸张:进口图书大多使用的都是环保轻型张,颜色偏黄,重量比较轻。
- ● 毛边版:即书翻页的地方,故意做成了参差不齐的样子,一般为精装版,更具收藏价值。
关于退换货:
- 由于预订产品的特殊性,采购订单正式发订后,买方不得无故取消全部或部分产品的订购。
- 由于进口图书的特殊性,发生以下情况的,请直接拒收货物,由快递返回:
- ● 外包装破损/发错货/少发货/图书外观破损/图书配件不全(例如:光盘等)
并请在工作日通过电话400-008-1110联系我们。
- 签收后,如发生以下情况,请在签收后的5个工作日内联系客服办理退换货:
- ● 缺页/错页/错印/脱线
关于发货时间:
- 一般情况下:
- ●【现货】 下单后48小时内由北京(库房)发出快递。
- ●【预订】【预售】下单后国外发货,到货时间预计5-8周左右,店铺默认中通快递,如需顺丰快递邮费到付。
- ● 需要开具发票的客户,发货时间可能在上述基础上再延后1-2个工作日(紧急发票需求,请联系010-68433105/3213);
- ● 如遇其他特殊原因,对发货时间有影响的,我们会第一时间在网站公告,敬请留意。
关于到货时间:
- 由于进口图书入境入库后,都是委托第三方快递发货,所以我们只能保证在规定时间内发出,但无法为您保证确切的到货时间。
- ● 主要城市一般2-4天
- ● 偏远地区一般4-7天
关于接听咨询电话的时间:
- 010-68433105/3213正常接听咨询电话的时间为:周一至周五上午8:30~下午5:00,周六、日及法定节假日休息,将无法接听来电,敬请谅解。
- 其它时间您也可以通过邮件联系我们:customer@readgo.cn,工作日会优先处理。
关于快递:
- ● 已付款订单:主要由中通、宅急送负责派送,订单进度查询请拨打010-68433105/3213。
本书暂无推荐
本书暂无推荐