Towards automated support for extraction of reusable components

Author

Abd-El-Hafiz, S.K. ; Basili, V.R. ; Caldiera, G.

Author_Institution

Dept. of Comput. Sci., Maryland Univ., College Park, MD, USA

fYear

1991

fDate

15-17 Oct 1991

Firstpage

212

Lastpage

219

Abstract

The problems related to the analysis and reengineering of existing software in order to reuse it are discussed. The authors introduce a process model for component extraction and focus on the problem of analyzing and qualifying software components which are candidates for reuse. A prototype tool for supporting the extraction of reusable components is presented. One of the components of this tool aids in understanding programs and is based on the functional model of correctness. It can assist software engineers in the process of finding correct formal specifications for programs. A detailed description of this component and an example to demonstrate a possible operational scenario are given

Keywords

formal specification; programming theory; software maintenance; software reusability; automated support; component extraction; correct formal specifications; correctness; functional model; operational scenario; process model; prototype tool; reengineering; reusable components; software components; software engineers; Availability; Computer science; Costs; Educational institutions; Formal specifications; Productivity; Prototypes; Software prototyping; Software quality; Software reusability;

fLanguage

English

Publisher

ieee

Conference_Titel

Software Maintenance, 1991., Proceedings. Conference on

Conference_Location

Sorrento

Print_ISBN

0-8186-2325-X

Type

conf

DOI

10.1109/ICSM.1991.160333

Filename

160333