formal specification
In systems design, the formal specification outlines how individual parts of the system will function, e.g. the inputs they will have and the outputs they produce.

In systems design, the formal specification outlines how individual parts of the system will function, e.g. the inputs they will have and the outputs they produce.