Title :
Reusing specifications in OO applications
Author :
Bellinzona, Roberto ; Fugini, Maria Grazia ; Pernici, Barabara
Author_Institution :
Politecnico di Milano, Italy
fDate :
3/1/1995 12:00:00 AM
Abstract :
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
Keywords :
formal specification; object-oriented programming; research initiatives; software libraries; software reusability; software tools; ESPRIT Ithaca project; Recast; Requirement Composition and Specification Tool; office application; repository; reusable specification retrieval tool; specification reuse; Application software; Banking; Design methodology; Information analysis; Information systems; Information technology; Object oriented modeling; Software tools; Terminology;
Journal_Title :
Software, IEEE
