ABSTRACT
The primary role of a software specification is to act as a reference for those who have to develop the associated software system, i.e., the role of a specification is communication. The specification is a repository for all the important information about what a software system is to do. As a repository, the goal is for the specification to convey to those who read it all the information they need. Those who write the specification possess information, and those who read the specification need that information. This communication must work correctly, and a lot of effort has been expended on specification technology precisely because of the importance of this communication.
