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

Bibliografia

Bibliografia Básica:

Disciplinas Equivalentes

Disciplina Curso
MÉTODOS FORMAIS Computação (Mestrado acadêmico)
MÉTODOS FORMAIS Computação (Doutorado)

Página gerada em 04/08/2025 01:30:32 (consulta levou 0,148523s)