DocumentCode :
817014
Title :
A study of 12 specifications of the library problem
Author :
Wing, Jeannette M.
Author_Institution :
Dept. of Comput. Sci., Carnegie-Mellon Univ., Pittsburgh, PA, USA
Volume :
5
Issue :
4
fYear :
1988
fDate :
7/1/1988 12:00:00 AM
Firstpage :
66
Lastpage :
76
Abstract :
The author studies twelve specifications for a seemingly simple database problem and demonstrates many approaches for classifying informally stated problem requirements. She compares the specifications according to how they address problems of the library example to illustrate the imprecision of natural-language specifications and how twelve different approaches to the same set of informal requirements reveal many of the same problems. The comparison suggests which issues should be addressed in refining an informal set of requirements and shows how these issues are resolved in different specification approaches.<>
Keywords :
specification languages; database problem; library problem; natural-language specifications; specifications; Books; Conferences; Formal specifications; History; Software libraries; Software testing; Software tools; Transaction databases;
fLanguage :
English
Journal_Title :
Software, IEEE
Publisher :
ieee
ISSN :
0740-7459
Type :
jour
DOI :
10.1109/52.17803
Filename :
17803
Link To Document :
بازگشت