In system/software engineering, a document that states the functions that software must perform, required level of performance (speed, accuracy, etc.), the nature of the required interfaces between the software product and its environment, the type and severity of constraints on design, and the quality of the final product. Synonymous with external specification.