The IRMA Community
Newsletters
Research IRM
Click a keyword to search titles using our InfoSci-OnDemand powered search:
|
A Rigorous Model for RAISE Specifications Reusability
|
Author(s): Laura Felice (Universidad Nacional del Centro de la Provincia de Buenos Aires, Argentina)and Daniel Riesco (Universidad Nacional de San Luis, Argentina)
Copyright: 2003
Pages: 19
Source title:
Practicing Software Engineering in the 21st Century
Source Author(s)/Editor(s): Scott J. Lloyd (University of Rhode Island, USA)and Joan Peckham (University of Rhode Island, USA)
DOI: 10.4018/978-1-93177-750-6.ch006
Purchase
|
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.
Related Content
Babita Srivastava.
© 2024.
21 pages.
|
Sakuntala Rao, Shalini Chandra, Dhrupad Mathur.
© 2024.
27 pages.
|
Satya Sekhar Venkata Gudimetla, Naveen Tirumalaraju.
© 2024.
24 pages.
|
Neeta Baporikar.
© 2024.
23 pages.
|
Shankar Subramanian Subramanian, Amritha Subhayan Krishnan, Arumugam Seetharaman.
© 2024.
35 pages.
|
Charu Banga, Farhan Ujager.
© 2024.
24 pages.
|
Munir Ahmad.
© 2024.
27 pages.
|
|
|