S. Sadaoui Canada)
Algebraic speciﬁcations, assistance in the development,
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 speciﬁcations through the generaliza
tion of speciﬁc 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
speciﬁcation into a more general parameter. A major difﬁ
culty is determining the good level of generality. An exam
ple of generalization is presented in detail.