Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Review Help
An examination of requirements specification languages
Tse T., Pong L. The Computer Journal34 (2):143-152,1991.Type:Article
Date Reviewed: Apr 1 1992

After reviewing the features that are most desirable in a requirement specification language, this paper considers several of the most common specification languages in terms of these features. The features fit into two broad categories:

  • Abstraction of the real world includes features such as language style (textual, graphical, or hybrid), complexity, modifiability, and user familiarity.

  • Manipulation of representations includes features such as tools (formalism and rigor), transformation, independence, and traceability.

The languages studied are PSL, SADT, EDDA, SAMM, HOS, and RSC.

The paper approaches specification from the engineering point of view rather than as a human activity. Thus much more emphasis is given to mathematics, diagrams, and constructionism than to verbal descriptions, user participation, and people-oriented design.

The authors do a good job of presenting the subject, and the paper appears to be complete. It would be useful for anyone interested in specification languages and in comparing the available features.

Reviewer:  D. W. Ballew Review #: CR115496
Bookmark and Share
Languages (D.2.1 ... )
Systems Analysis And Design (K.6.1 ... )
General (H.4.0 )
Would you recommend this review?
Other reviews under "Languages": Date
Towards a formal basis for the formal development method and the Ina Jo specification language
Berry D. IEEE Transactions on Software Engineering SE-13(2): 184-201, 1987. Type: Article
Oct 1 1987
On the design of ANNA, a specification language for ADA
Luckham D.  Software validation: inspection-testing-verification-alternatives (, Darmstadt, West Germany,2271984. Type: Proceedings
May 1 1986
Analysis and design in MSG.84: formalizing functional specifications
Berzins V., Gray M. IEEE Transactions on Software Engineering SE-11(9): 657-670, 1985. Type: Article
Feb 1 1986

E-Mail This Printer-Friendly
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2023 ThinkLoud®
Terms of Use
| Privacy Policy