|
|||||
|
|
| 一种 Hoare 逻辑软件复用部件的匹配描述 | |
| 引用本文： | 胡和平,黄力芹,汪涛.一种 Hoare 逻辑软件复用部件的匹配描述[J].华中科技大学学报(自然科学版),1997(10). |
| 作者姓名： | 胡和平 黄力芹 汪涛 |
| 作者单位： | 华中理工大学计算机科学与工程系 |
| 摘 要： | 提出了一种基于Ｈｏａｒｅ逻辑的软件复用部件的匹配描述，它为建立复用部件库的检索机制以及软件的自动化生产提供了理论描述． |
| 关 键 词： | 软件复用 Hoare逻辑 复用部件 |
| 本文献已被 CNKI 等数据库收录！ | |
|
||||||||||||||||||||||
|
||||||||||||||||||||||
|
||||||||||||||||||||||
|
|
|
|
| 设为首页 | 免责声明 | 关于勤云 | 加入收藏 |
|
Copyright©北京勤云科技发展有限公司 京ICP备09084417号 |