一个支持软件重用的信息检索系统—KDZ

摘要

cqvip:软构件的有效组织与检索是软件重用技术的关键。本文介绍了一个支持软件重用的信息检索系统—KDZ。该系统以形式化方法描述软构件为基础,以重用理论为验证准则,通过项重写技术与检索技术相结合,使KDZ系统具有语义验证之功能。