© 1991 by British Computer Society
| ||||||||||||||||||||||||||||||||||||||||||||||||||||
An Examination of Requirements Specification Languages*

Department of Computer Science, University of Hong Kong, Pokfulam Road, Hong Kong,IBM, Canada
In this paper we examine the features which are most desirable in requirements specification languages, and then use the framework to review six established languages: PSL, SADT, EDDA, SAMM, HOS and RSL.
Received February 1989. revised November 1989.
* Part of this research was done at the London School of Economics, University of London under a Commonwealth Academic Staff Scholarship. The research was also supported in part by a Hong Kong and China Gas Research Grant and a University of Hong Kong Research and Conference Grant.
¶ Department of Computer Science, University of Hong Kong, Pokfulam Road, Hong Kong
Currently with IBM, Canada.