A especificação formal de software permite descrever os requisitos operacionalmente com o uso de uma linguagem conhecida como:
A especificação formal de software permite descrever os requisitos operacionalme...
Questão de Engenharia de Software da banca COSEAC aplicada no concurso UFF (2019). Confira a resolução completa abaixo: