Towards software reuse using parameterized formal specifications
Chia-Chu Chiang · 2004
Software reuse should be engineered as early as possible in the software development life cycle. The earlier reusability considerations are put into software development, the larger the payoff can be obtained from reuse. This paper briefly introduces the syntax and semantics of the TUG specification language. Some important but not comprehensive features of the language for reuse are presented with the aid of examples. Finally, specification reuse is illustrated with an analogy between a restaurant reservation system and a university registration system.