节点文献

基于构件设计的思想

Idea of Component-Based Design

  • 推荐 CAJ下载
  • PDF下载
  • 不支持迅雷等下载工具，请取消加速工具后下载。

【作者】 李桂丽； 孙晓鹏； 高晓峰；

【Author】 LI Gui_li 1,SUN Xiao_peng 1,GAO Xiao_feng 2 (1.School of Computer Science and Technology,Anshan Institute of I.& S.Technology, Anshan 114002,China;2.Mechanics Co.,Angang Construtiion Co.,Anshan 114002,China)

【机构】 鞍山钢铁学院计算机科学与技术学院； 鞍山建设公司机械公司 辽宁鞍山114002； 辽宁鞍山114002； 辽宁鞍山114001；

【摘要】 阐述基于构件设计的思想 .首先建立一个构件描述的模型 (接口 :描述构件的语法和语义信息 ;实现 :阐述如何利用子构件构造一个新的构件 ) .然后阐述如何将构件的接口和实现联系起来 ,最后利用Hoare逻辑验证其正确性

【Abstract】 This paper introduces the idea of component_based design.Firstly creates a component_described model(interface:describe both syntax and semantics of components;implementation:tell how to use sub_components to construct a new component).Then presents how to relate the interface of a component to its implementation,finally verifys its correctness by using Hoare logic.

【关键词】 基于构件设计； 接口； 实现； 程序；
【Key words】 component based design； interface； implementation； program；
  • 【文献出处】 鞍山钢铁学院学报 ,Journal of Anshan Institute of Iron and Steel Technology , 编辑部邮箱 ,2001年05期
  • 【分类号】TP311.52
  • 【被引频次】11
  • 【下载频次】59
打印本页
节点文献中：