Nome da Atividade
MÉTODOS FORMAIS
CÓDIGO
1118011
Carga Horária
68 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:

  • Fitzgerald, J.; Larsen, P.G. Modelling Systems: Practical Tools and Techniques in Software Development. 2nd Edition. Cambridge University Press, 2009.
  • Jean Francois Monin. Understanding Formal Methods. Michael G. Hinchey (Ed.). Springer-Verlag, 2003.
  • Cohen, B.; Harwood, W. T.; Jackson, M.I. The Specification of Complex Systems. Addison-Wesley, 1986.
  • Mendes, S.; Aguiar, T. C. Métodos para Especificação de Sistemas. São Paulo: Edgard Blücher,1989.
  • Frappier, M.; Habrias, H. (Eds). Software Specification Methods: An Overview Using a Case Study. Springer, 2006.
  • Nissanke, N. Formal Specification. Techniques and Applications. Springer Verlag, 1999.
  • Schneider, S. Concurrent and Real-Time Systems: The CSP Approach. John Wiley & Sons, 1999.
  • Moura, A. V. Especificações em Z: Uma Introdução. Unicamp, 2001.

Página gerada em 02/07/2022 08:10:57 (consulta levou 0.235283s)