The Z notation: a reference manual
The Z notation: a reference manual
Exploiting reusable specifications through analogy
Communications of the ACM
An introduction to formal specification and Z
An introduction to formal specification and Z
The design and implementation of hierarchical software systems with reusable components
ACM Transactions on Software Engineering and Methodology (TOSEM)
Analogy as a paradigm for specification reuse
Software Engineering Journal
Signature matching: a tool for using software libraries
ACM Transactions on Software Engineering and Methodology (TOSEM)
Specification matching for software reuse: a foundation
SSR '95 Proceedings of the 1995 Symposium on Software reusability
A Formal Approach to Software Reusability
Proceedings of the SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems
Hi-index | 0.00 |
Software reuse can be attempted at any stage in the life cycle of a software. However, reuse will be more effective at a higher level of abstraction, such as requirements specification. The reason is that one can easily understand the functionalities of a reusable component when it is abstractly specified, and can also justify that the component is indeed reusable. A software product can be reused if and only if its structure and behavior are compatible with those of the software that has to be developed. In this paper, we present a method to ensure structural compatibility in software reuse, using formal requirements specification of the software to be developed and that of the software to be reused. We also describe algorithms to implement the method, and illustrate the method through a case study. The formal notation Z is used in this paper.