A theory of software reusability
Marie-Claude Gaudel, Th. Moineau · French digital mathematics library (Numdam) · 1990
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.