Creator of Knowledge
Information Resources Management Association
Advancing the Concepts & Practices of Information Resources Management in Modern Organizations

Applying a Reusable Component Model in Raise Formal Method

Applying a Reusable Component Model in Raise Formal Method
View Free PDF
Author(s): Laura Felice (INTIA, Argentina) and Daniel Riesco (Universidad Nacional de San Luis, Argentina)
Copyright: 2002
Pages: 4
Source title: Issues & Trends of Information Technology Management in Contemporary Organizations
Source Editor(s): Mehdi Khosrow-Pour, D.B.A. (Information Resources Management Association, USA)
DOI: 10.4018/978-1-930708-39-6.ch154
ISBN13: 9781930708396
EISBN13: 9781466641358


There is a great diversity in the software engineering technologies that involve some form of software reuse. However, there is a commonality among the techniques used. For example, software component libraries, source code compilers, and generic software templates all involve abstracting, selecting, specializing, and integrating software artifacts. In order to include them in the RAISE (Rigorous Approach to Industrial Software Engineering) method, we propose to introduce a RC (Reusable Component) model in all the development steps. The RAISE method is based on the idea that software development is a stepwise, evolutionary process of applying semantics-preserving transitions. There is not explicit reference to the specification reusability in this development process, so our model will allows to be an integrated mechanism to the method. In this paper, we provide the mechanism to select a RSL (RAISE Specification Language) reusable component in order to guide RAISE developers in the software construction and specification. Thus, developers can efficiently locate, understand, compare and select the appropriate artifacts from a collection.

Body Bottom