A semantic-based approach to retrieving imperative programs.

Software reuse is one of the promising ways to improve productivity, quality and reliability. Component retrieval is one of the important phases in the process of software reuse. Most of the existing retrieval methods are based on syntactic-based approach. This thesis work proposes a semantic-property-based retrieval method and integrates two existing methods that include type-based retrieval method and execution-based retrieval method to retrieving imperative programs, like C programs. In semantic-property-based retrieval, we use a number of semantic properties to describe the behaviors of components and be search keys on retrieval. The type-based retrieval consists of using type information as a search key to perform retrieval. Execution-based retrieval is to actually execute the components with user provided sample test data and retrieve components by verifying the results. We have developed a prototype system called WISER that integrates these three different retrieval methods. Paper copy at Leddy Library: Theses & Major Papers - Basement, West Bldg. / Call Number: Thesis1997 .T345. Source: Masters Abstracts International, Volume: 39-02, page: 0533. Adviser: Young Gil Park. Thesis (M.Sc.)--University of Windsor (Canada), 1998