%0 Journal Article
%T 一个支持软件重用的信息检索系统—kdz
%A 张少平？
%A 王怀民？
%A 陈火旺？
%J 软件学报
%P 36-41
%D 1991
%X 软构件的有效组织与检索是软件重用技术的关键。本文介绍了一个支持软件重用的信息检索系统—kdz。该系统以形式化方法描述软构件为基础,以重用理论为验证准则,通过项重写技术与检索技术相结合,使kdz系统具有语义验证之功能。
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=19910406&flag=1