A document that specifies the functions that a system or component must perform.