Reuse of requirements and specifications
Carlos J. Paredes, José Luiz Fiadeiro · 1995
It is claimed that requirements engineering, as a problem of formalization and agreement, can benefit from raising the level of reusability up to functional requirements elicitation and specification levels. At these levels, it is important to support incomplete information in a declarative, reusable and refineable form. For that purpose, a model is proposed which is based on temporal theories, in the logical sense, together with a set of incremental specification techniques formalized through categorial constructions on theories.