The Z notation: a reference manual
The Z notation: a reference manual
Exploiting reusable specifications through analogy
Communications of the ACM
The design and implementation of hierarchical software systems with reusable components
ACM Transactions on Software Engineering and Methodology (TOSEM)
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 mainly because one can easily understand the functionalities of a reusable component when it is abstractly speci- ed, 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 compatibil- ity in software reuse, using formal requirements spec- i cation. 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.