Institutional PortalUFPEL

Objetivo Geral:

Introduzir aos estudantes a área de métodos formais, apresentando as principais abordagens exemplificadas por diferentes métodos.

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