Para evitar problemas decorrentes da alteração de requisitos durante o desenvolvimento de um software, um processo de desenvolvimento de software deve estabelecer a impossibilidade de alteração da especifi cação de requisitos, quando aprovada a primeira versão deste documento.

O sistema operacional sob o qual um software deverá executar corresponde a um exemplo de requisito funcional para esse software.

Uma especifi cação de requisitos deve especifi - car requisitos não funcionais, além dos requisitos funcionais.

Eliciação de requisitos é a especifi cação de requisitos através de uma linguagem formal.