Assistance in the Generalization of Algebraic Specifications

S. Sadaoui Canada)


Algebraic specifications, assistance in the development, generalization, reusability


Generalization is a powerful tool for software reuse be cause it allows the development of libraries of reusable components. This paper provides the assistance in the con struction of generic specifications through the generaliza tion of specific ones. The assistance consists of the plan ning, automation and control of the generalization process. Generalization is an abstraction of an auxiliary part of a specification into a more general parameter. A major diffi culty is determining the good level of generality. An exam ple of generalization is presented in detail.

Important Links:

Go Back