No decorrer do processo de desenvolvimento de requisitos, muitas vezes é preciso descrever restrições sobre o comportamento permitido de um sistema, ou, mais precisamente, dizer o que não será permitido que o sistema faça.
Requisitos desse tipo são chamados: