Specification

Requirements, inputs, outputs, and verification criteria.