UNIVERSIDADE DO ESTADO DE SANTA CATARINA - UDESC

MÉTODOS FORMAIS (MFO0002)

Ementa:

Estudo de técnicas formais. Classificação de modelos formais. Concepção de
sistemas: especificação, verificação e validação. Apresentação e aplicação de
métodos e linguagens de especificação formal.