论文部分内容阅读
基于排序形式化规格说明的软构件匹配是检索可重用构件的有效方法，在软件复用和库检索中，有助于确定一个构件是否可以取代另一个构件或一个构件如何通过修改以满足另一个构件的要求。利用基于排序形式化规格说明来描述软构 行为，并在构件和方法层次上给出多种不同类型的基于排序形式化规格说明软构件匹配的定义，及其在构件检索中的应用。