基于构件设计的思想 |
| |
引用本文: | 李桂丽,孙晓鹏,高晓峰. 基于构件设计的思想[J]. 辽宁科技大学学报, 2001, 24(5) |
| |
作者姓名: | 李桂丽 孙晓鹏 高晓峰 |
| |
摘 要: | 阐述基于构件设计的思想.首先建立一个构件描述的模型(接口:描述构件的语法和语义信息;实现:阐述如何利用子构件构造一个新的构件).然后阐述如何将构件的接口和实现联系起来,最后利用Hoare逻辑验证其正确性.
|
关 键 词: | 基于构件设计 接口 实现 程序 |
Idea of Component-Based Design |
| |
Abstract: | |
| |
Keywords: | |
本文献已被 万方数据 等数据库收录! |
|