| 摘要: |
| 软构件的有效组织与检索是软件重用技术的关键。本文介绍了一个支持软件重用的信息检索系统—KDZ。该系统以形式化方法描述软构件为基础,以重用理论为验证准则,通过项重写技术与检索技术相结合,使KDZ系统具有语义验证之功能。 |
| 关键词: |
| DOI： |
| 分类号: |
| 基金项目: |
|
| AN INFORMATION RETRIEVAL SYSTEM FOR SUPPORTING SOFTWARE REUSE-KDZ |
|
Zhang Shaoping,Wang Huaimin,Chen Huowang
|
| Abstract: |
| Efficiently organizing and retrieving software component is the key to software reuse technique. The paper introduces an information retrieval system for supporting software reuse-KDZ. The system bases on the formal description of software component, and takes the reusability theory as the rule of verification. By the Combination of term-rewriting and retrieving technique, the KDZ system has the function of semantics verification. |
| Key words: |
