The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.02 - March-April (1997 vol.9)
pp: 341-349
ABSTRACT
<p><b>Abstract</b>—Using formal specifications to represent software components facilitates the determination of reusability because they more precisely characterize the functionality of the software, and the well-defined syntax makes processing amenable to automation. This paper presents an approach, based on formal methods, to the search, retrieval, and modification of reusable software components. From a two-tiered hierarchy of reusable software components, the existing components that are <it>analogous</it> to the query specification are retrieved from the hierarchy. The specification for an analogous retrieved component is compared to the query specification to determine what changes need to be applied to the corresponding program component in order to make it satisfy the query specification.</p>
INDEX TERMS
Software reuse, formal methods, analogical reasoning, program modification.
CITATION
Betty H.C. Cheng, Jun-Jang Jeng, "Reusing Analogous Components", IEEE Transactions on Knowledge & Data Engineering, vol.9, no. 2, pp. 341-349, March-April 1997, doi:10.1109/69.591458
5 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool