Na Engenharia de Requisitos, os requisitos de software são frequentemente classificados em duas categorias. A primeira abarca as declarações de serviços que o sistema deve fornecer, de como o sistema deve reagir a entradas específicas e de como o sistema deve se comportar em determinadas situações. A segunda, engloba as restrições aos serviços ou funções oferecidos pelo sistema, incluindo restrições de timing, restrições no processo de desenvolvimento e restrições impostas pelas normas. Essas categorias são consideradas, respectivamente, requisitos