Structured Language Specifications
A restricted form of natural language for requirements specification
Maintains most of the expressiveness and understandability of natural language, while ensuring some degree of uniformity
Following information should be included:
- description of the function or entity
- description of the inputs
- description of the outputs
- indication of what other entities are used
- pre-condition and post-condition
- description of side-effects of the operation