A description of a proposed system
Describes what a system is supposed to do without indicating how this will be realized.
Specifications should imply Requirements but to do so, we need to make assumptions on how the environment behaves using Domain Knowledge
Deriving Specifications
- Determine how the system will monitor/control the environment
- Determine whether requirements constrains the environmentally-controlled phenomena
To evaluate a specification, the Requirements Engineering Reference Model must hold true. If this does not hold true…
- Weaken the requirements
- Strengthen the specifications
- Strengthen the domain knowledge