Reuse of Formal Specifications

Reuse of Formal Specifications

Laura Felice (Universidad Nacional del Centro de la Provincia de Buenos Aires, Argentina) and Daniel Riesco (Universidad Nacional de San Luis, Argentina)
DOI: 10.4018/978-1-59140-553-5.ch429
OnDemand PDF Download:
No Current Special Offers


During the Rigorous Approach to Industrial Software Engineering (RAISE) specification development process, a variety of components and infrastructures are built. All of these components are not independent, but related to one another, especially when we specify different systems into the same infrastructure. The RAISE method (Bjorner, 2000) is based on the idea that software development is a stepwise, evolutionary process of applying semantics-preserving transitions. Thus, the reuse process is crucial in all of the stages of the development, but there is no explicit reference to the specification reusability in this development process.

Complete Chapter List

Search this Book: