Please enable JavaScript to view the page content.
Logo da Universidade do Estado de Santa Catarina

85MEF

Métodos Formais
Informações da disciplina
  • Departamento: DEPARTAMENTO DE ENGENHARIA DE SOFTWARE CEAVI
  • Carga Horária Teórica: 54 horas/aula
  • Carga Horária Prática: 18 horas/aula
  • Créditos: 4

Ementa


Fundamentos de métodos formais. Notações para especificações formais. Aplicação de linguagens e métodos de especificação. Geração automática de código fonte a partir da especificação.

 
ENDEREÇO
Av. Madre Benvenuta, 2007
Itacorubi, Florianópolis / SC
CEP: 88.035-901
CONTATO
Telefone: (48) 3664-8000
E-mail: comunicacao@udesc.br
Horário de atendimento: 13h às 19h