Requirements and Development Methods

IEEE 830 Standard
Agile
Formal Methods
Volere

Specifications (Constraints)
   -Requirement
       -MUST
       -OPT
      -MUST NOT
API Interface

User Stories
   - Semantically speaking, richer and more telling than