The exact requirements and behavior of a system. Formal specifications require a fixed Grammar and set of Rules they must follow
Paradigms
- History Based Specification
- State Based Specification
- Transition Based Specification
- Function Specification
- Operational Specification
- Multi-Paradigm Specification