No processo de desenvolvimento de uma
especificação, a definição de nomes das operações
e a descrição das condições para a veracidade das
distintas combinações entre as operações é
realizada na:
Você errou!  
Resposta:
Acesse Comentários para encontrar explicações sobre a solução da questão.
Parabéns! Você acertou!
Aprenda mais ensinando outros alunos ao comentar esta questão.