O processo de engenharia de requisitos pode ser realizado por duas abordagens. São elas:

A especificação formal de software permite descrever os requisitos operacionalmente com o uso de uma linguagem conhecida como:

O tempo médio para falhar e o tempo de resposta ao usuário, são exemplos de métricas utilizadas para mensurar:

A portabilidade e a confiabilidade são tipos de requisitos:

No processo de validação de software, quando os componentes individuais são avaliados para garantir que eles possam operar corretamente, sendo testados independentemente, isto é, sem a presença de outros componentes do sistema, isto é conhecido como teste de: