This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
A Study of 12 Specifications of the Library Problem
July/August 1988 (vol. 5 no. 4)
pp. 66-76

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.

Index Terms:
specifications; library problem; database problem; natural-language specifications; specification languages
Citation:
Jeannette M. Wing, "A Study of 12 Specifications of the Library Problem," IEEE Software, vol. 5, no. 4, pp. 66-76, July-Aug. 1988, doi:10.1109/52.17803
Usage of this product signifies your acceptance of the Terms of Use.