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.