A rigorous model for RAISE specifications reusability

Authors:
Laura Felica;Daniel Riesco
Affiliations:
Universidad Nacional del Centro de la Provincia de Buenos Aires, Argentina;Universidad Nacional de San Luis, Argentina
Venue:
Practicing software engineering in the 21st century
Year:
2003

Citing 4
Cited 0

Integrating information retrieval and domain specific approaches for browsing and retrieval in object-oriented class libraries

OOPSLA '91 Conference proceedings on Object-oriented programming systems, languages, and applications
An Information Retrieval Approach for Automatically Constructing Software Libraries

IEEE Transactions on Software Engineering
Software reuse

ACM Computing Surveys (CSUR)
Specification matching of software components

ACM Transactions on Software Engineering and Methodology (TOSEM)

Quantified Score

Hi-index	0.00

Visualization

Abstract

During the RAISE specification development process, a variety of components and infrastructures are built. All of these components are not independent, but they are related to each other, especially when we specify different systems in the same infrastructure. The RAISE method is based on the idea that software development is a stepwise, evolutionary process of applying semantics-preserving transitions. So, the reuse process is crucial in all stages of the development, but there is not explicit reference to the specification reusability in this development process.This chapter presents a rigorous process for reusability for RAISE Specification Language (RSL) components. We provide the mechanism to select a reusable component in order to guide RAISE developers in software specification and construction.