Uma empresa está desenvolvendo um software, utilizando uma metodologia formal. Na fase de Análise de Requisitos, foram identificados os requisitos que definem as necessidades do sistema, que permitem a implementação do produto e que servem para apoiar as atividades organizacionais. O tipo de requisito que precisa ser bem definido para não prejudicar o funcionamento do sistema é chamado de: