DocumentCode
1247009
Title
Reusing specifications in OO applications
Author
Bellinzona, Roberto ; Fugini, Maria Grazia ; Pernici, Barabara
Author_Institution
Politecnico di Milano, Italy
Volume
12
Issue
2
fYear
1995
fDate
3/1/1995 12:00:00 AM
Firstpage
65
Lastpage
75
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;
fLanguage
English
Journal_Title
Software, IEEE
Publisher
ieee
ISSN
0740-7459
Type
jour
DOI
10.1109/52.368268
Filename
368268
Link To Document