一种 Hoare 逻辑软件复用部件的匹配描述

Matching Description of Reusable Components of Software Based on Hoare Logic

提出了一种基于Ｈｏａｒｅ逻辑的软件复用部件的匹配描述，它为建立复用部件库的检索机制以及软件的自动化生产提供了理论描述．

The basis to realize the reuse of the software is to build up a large reusable software library and to provide a mechanism for retrieving the required reusable components of the software. The matching description of the reusable components of the software based on Hoare Logic is proposed. It is a theoretical description for building up the retrieval mechanism of the reusable components library, and for the automatic software development.