IF116 - Métodos Formais

 

Pré-requisitos

1. Cálculo de Programas, IF112

Ementa

1. Introdução ao desenvolvimento formal de software (motivação
2. ciclo de desenvolvimento
3. verificação  X  validação
4. grau de formalismo
5. classificação de métodos em baseados em modelos e orientados a propriedades)
6. Revisão de alguns modelos matemáticos (conjuntos, relaç ões , funç ões , seqüê ncias e muilticonjuntos)
7. Uma linguagem de especificação baseada em modelos (como Z ou VDM)
8. refinamento para especificaç ões baseadas em modelos
9. Conceitos preliminares de Álgebra
10. Uma linguagem de especificação algébrica (como EML ou OBJ3)
11. refinamento para especificaç ões algébricas.

Referências

1. Woodcock, J. C. P.: USING STANDARD Z: SPECIFICATION, REFINEMENT AND PROOF, Prentice-Hall, 1995.
2. Cohn, P.: UNIVERSAL ALGEBRA.
3. Sannella, D.: FORMAL PROGRAM DEVELOPMENT IN EXTENDED ML FOR THE WORKING PROGRAMMER, LFCS Report Series, ECS-LFCS-89-102, 1989.