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

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