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.
Objectives
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:
- 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.