A document that specifies, in a complete, precise, verifiable manner, the
requirements, design, behavior, or other characteristics of a system or
component, and often, the procedures for determining whether these provisions
have been satisfied. Contrast with requirement.