Alternatives to Natural Languages
Structured natural language
- define standard forms or templates to express requirements
Design description languages
- use language like a programming language but with more abstract features to specify the requirements
Requirements specification language
- special purpose languages such as PSL/PSA, RSL
Graphical notations
- use graphic notations to express requirements such as SADT
Mathematical specifications
- based on formal mathematics such as FSM, Petri Nets