program specification, especificação de programa

No desenvolvimento de software, uma instrução que especifica os objetivos e requisitos de um projeto, bem como a relação desse projeto com outros.