Welcome to the InfoSci Platform
A Rigorous Model for RAISE Specifications Reusability

A Rigorous Model for RAISE Specifications Reusability

Laura Felice, Daniel Riesco
Copyright: © 2003 |Pages: 19
ISBN13: 9781931777506|ISBN10: 1931777500|EISBN13: 9781931777667
DOI: 10.4018/978-1-93177-750-6.ch006
Cite Chapter Cite Chapter

MLA

Felice, Laura, and Daniel Riesco. "A Rigorous Model for RAISE Specifications Reusability." Practicing Software Engineering in the 21st Century, edited by Scott J. Lloyd and Joan Peckham, IGI Global, 2003, pp. 63-81. https://doi.org/10.4018/978-1-93177-750-6.ch006

APA

Felice, L. & Riesco, D. (2003). A Rigorous Model for RAISE Specifications Reusability. In S. Lloyd & J. Peckham (Eds.), Practicing Software Engineering in the 21st Century (pp. 63-81). IGI Global. https://doi.org/10.4018/978-1-93177-750-6.ch006

Chicago

Felice, Laura, and Daniel Riesco. "A Rigorous Model for RAISE Specifications Reusability." In Practicing Software Engineering in the 21st Century, edited by Scott J. Lloyd and Joan Peckham, 63-81. Hershey, PA: IGI Global, 2003. https://doi.org/10.4018/978-1-93177-750-6.ch006

Export Reference

Mendeley
Favorite

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.

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.