Software requirements specifications are often written in a natural language. To reduce the ambiguity of natural language apply the following techniques:
- Performing Fagan-type inspections on the Software Requirements Specification (SRS).
- Constructing formal models of the requirements and rewriting the natural language as problems are found (Know Formal Methods).
Reference:
Davis, A., "Software Requirements: Objects, Functions, and States," Prentice Hall, Englewood Cliffs, 1993.
