The Software Requirements Specification need to be written in a systematic way to ensure their accuracy and completeness. The difficulty is that extracting requirements is a tough abstraction problem.
The key points are:
- Establishing Correct Requirements
- Traceability of Requirements
