Work on the ESPRIT Ithaca project has produced a model and environment for reusing specifications. Central to the environment is Recast, a tool to retrieve reusable specifications from a repository of development knowledge. Developers can also use Recast to tailor existing specifications to suit the current application. The tool, Recast (Requirement Composition and Specification Tool), supports developers in composing reusable specifications from the repository. The examples in this article are taken from the office application.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">></ETX>
No takes yet. Share an insight, caveat, or question.
Bellinzona et al. (1995) studied this question.
Synapse has enriched 5 related papers. Consider them for comparative context: