The IRMA Community
Newsletters
Research IRM
Click a keyword to search titles using our InfoSci-OnDemand powered search:
|
Applying a Reusable Component Model in Raise Formal Method
Abstract
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.
|
|