Na especificação de requisitos de software, há um tipo de requisito que consta de declarações de funções que o sistema deve realizar, como o sistema deve reagir em certas situações, além de, às vezes, declarar o que o sistema não deve fazer. O tipo de requisito descrito corresponde aos requisitos