We consider the nature of software system specifications and designs, then survey the languages used in representing them. We emphasize the utility of language-based representations as a foundation for computerized tools which provide aid during software system development. The survey is based upon a classification of the languages according to their underlying representational constructs.
Riddle, William E. and Wileden, Jack C., "Languages for Representing Software Specifications and Designs ; CU-CS-127-78" (1978). Computer Science Technical Reports. 125.