A semantic-based approach to retrieving imperative programs.
Date of Award
1998
Publication Type
Master Thesis
Degree Name
M.Sc.
Department
Computer Science
Keywords
Computer Science.
Supervisor
Park, Young Gil,
Rights
info:eu-repo/semantics/openAccess
Creative Commons License
This work is licensed under a Creative Commons Attribution-NonCommercial-No Derivative Works 4.0 International License.
Abstract
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.
Recommended Citation
Tam, Kai Fai., "A semantic-based approach to retrieving imperative programs." (1998). Electronic Theses and Dissertations. 743.
https://scholar.uwindsor.ca/etd/743