Requirements Specification
Add further information to the requirements definition
Include all necessary information about what the system must do and all constraints on its operation
Natural language is no a good basis because:
- leads to misunderstandings because of inherent ambiguity, “Shoes must be worn”, “dogs must be carried”
- over-flexible
- requirements are not partitioned effectively by the language
-