Software reusability is a topic of first practical importance. Most of the current approaches are based on empirical methods and there is no general approach to this problem. This paper suggests a definition for software reusability based on algebraic specifications and modularity. This criterion is not completely constructive, but it provides a guideline to find out reusable software components and prove their reuse. Moreover, we state how to exploit reusability in hierarchical specifications.
CITATION STYLE
Gaudel, M. C., & Moineau, T. (1988). A theory of software reusability. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 300 LNCS, pp. 115–130). Springer Verlag. https://doi.org/10.1007/3-540-19027-9_8
Mendeley helps you to discover research relevant for your work.