Departamento: DEPARTAMENTO DE CIÊNCIA DA COMPUTAÇÃO CCT
Carga Horária Teórica: 36 horas/aula
Carga Horária Prática: 36 horas/aula
Créditos: 4
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.
ENDEREÇO
Av. Madre Benvenuta, 2007 Itacorubi, Florianópolis / SC CEP: 88.035-901
CONTATO
Telefone: (48) 3664-8000
E-mail: contato@udesc.br
Horário de atendimento: 13h às 19h
Utilizamos cookies para melhorar sua experiência de navegação no Portal da Universidade do Estado de Santa Catarina. Ao continuar navegando no Portal, você concorda com o uso de cookies.