Classification and Retrieval of Reusable Components Using Semantic Features

cation at some level of abstraction, abandoning the semantic information provided by the specification. In this paper, we propose a methodology that ships the overhead of formal reasoning from the retrieval to the classification phase of reuse. Software components are classified using semantic features that are derived from their formal specification. Retrieval of functionally similar components can then be accomplished based on the stored feature sets. Formal verification can be applied to precisely determine the reusability of the set of similar components.

• Type: Conference
• Year: 1995
• Where: KBSE
• Authors: John Penix, Phillip Baraona, Perry Alexander
• Keywords: Formal Reasoning, KBSE 1995, Semantic Information, Similar Components, Software Engineering