Nome da Atividade
MÉTODOS FORMAIS
CÓDIGO
22000683
Carga Horária
60 horas
Tipo de Atividade
DISCIPLINA
Periodicidade
Semestral
Unidade responsável
CRÉDITOS
4
CARGA HORÁRIA TEÓRICA
4
CARGA HORÁRIA OBRIGATÓRIA
4
FREQUÊNCIA APROVAÇÃO
75%
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.
Objetivos
Objetivo Geral:
Introduzir aos estudantes a área de métodos formais, apresentando as principais abordagens exemplificadas por diferentes métodos.Conteúdo Programático
1. Introdução: motivação, definição e aplicações; classificação
2. Vienna Development Method – VDM: Definições; Estudo de Caso; Outros métodos orientados
a modelos
3. Especificação algébrica: Definições; Estudo de Caso; Outros métodos orientados a
propriedades
4. Calculus of Communicating Systems – CCS: Definições; Estudo de Caso; Outros métodos
orientados ao comportamento
5. Redes de Petri: Definições; Estudo de Caso
6. Gramática de Grafos: Definições; Estudo de Caso
2. Vienna Development Method – VDM: Definições; Estudo de Caso; Outros métodos orientados
a modelos
3. Especificação algébrica: Definições; Estudo de Caso; Outros métodos orientados a
propriedades
4. Calculus of Communicating Systems – CCS: Definições; Estudo de Caso; Outros métodos
orientados ao comportamento
5. Redes de Petri: Definições; Estudo de Caso
6. Gramática de Grafos: Definições; Estudo de Caso
Bibliografia
Bibliografia Básica:
Disciplinas Equivalentes
| Disciplina | Curso |
|---|---|
| MÉTODOS FORMAIS | Computação (Mestrado acadêmico) |
| MÉTODOS FORMAIS | Computação (Doutorado) |