基于代数规格说明的软件构件重用方法

软件重用的关键是构造可重用的构件库中合适构件重用的方法，文中提出了采用基于代数规格说明的形式化方法来表示软件构件，并给出可重用构件进行抽取，修改的规格说明匹配法，在考虑了精确匹配算法的基础上，特别针对构件抽取着重提出了弱精确匹配方法。