Nome da Atividade
MÉTODOS FORMAIS
CÓDIGO
1118011
Carga Horária
68 horas
Tipo de Atividade
DISCIPLINA
Periodicidade
Semestral
Unidade responsável
CARGA HORÁRIA TEÓRICA
4
FREQUÊNCIA APROVAÇÃO
75%
CARGA HORÁRIA OBRIGATÓRIA
4
CRÉDITOS
4
Ementa
Estudos dos métodos formais na especificação de sistemas em geral. Notação para especificações formais. Especificações algébricas. Especificações orientadas a modelo. Especificações baseadas em redes. Álgebra de processos.