Universidade Federal do Maranhão

Engenharia da Computação

Métodos Formais
1a avaliação

Prof. Bruno Feres de Souza

Aluno: Matrı́cula:

I. (2,0 pts) Escolha um ciclo de vida de desenvolvimento de software e detalhe-o.

II. (2,0 pts) Indique e explique em detalhes os diferentes nı́veis de métodos formais.

III. (2,0 pts) Indique e explique em detalhes as três principais razões para usar métodos formais.

IV. (2,0 pts) Explique o que são linguagens orientadas a modelo e linguagens orientadas a propriedades,
explicitando suas diferenças.

V. (2,0 pts) Defina verificação formal, discutindo suas vantagens e desvantagens. Adicionalmente, compare
as técnicas de prova de teorema e checagem de modelo.