(1) A declarative description of what something is or does.
(2) A document that describes, in a complete, precise, verifiable manner, the requirements, design, behavior, or characteristics of a system or system component, for the purpose of developing or validating the system.