Concurso:
Universidade Federal Fluminense (UFF)
Disciplina:
Engenharia de Software
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: