Languages for representing software specifications and designs
William E. Riddle, Jack C. Wileden · ACM SIGSOFT Software Engineering Notes · 1978
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.