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: