Os requisitos de software são frequentemente classificados como requisitos funcionais e requisitos não funcionais.

Normalmente, os requisitos funcionais são 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. Em alguns casos, também podem explicar o que o sistema não deve fazer.

Normalmente, os requisitos não funcionais são as restrições aos serviços ou funções oferecidos pelo sistema, muitas vezes, aplicam-se ao sistema como um todo.

A imprecisão na especificação dos requisitos não causam muitos problemas na engenharia de software, pois no momento da implementação, o desenvolvedor pode tirar as dúvidas necessárias.

Em princípio, a especificação dos requisitos funcionais de um sistema deve ser completa e consistente, dessa forma, todos os serviços requeridos pelo usuário devem ser definidos e os requisitos não devem ter definições contraditórias.