Especificação e Verificação

Licenciatura: Matemática, Ramo Científico (Ciências da Computação)

Ano Lectivo: 2003/04

Programa:

1. Noções Gerais: As diferentes metodologias de programação. Metodologias de programação Formais. Abstracção e Modularidade, e a forma como as diferentes metodologias de programação formal suportam estes conceitos.

2. Programação Funcional: Conceitos da Teoria dos Conjuntos necessários para uma melhor compreensão das linguagens funcionais. A linguagem de programação funcional Haskell.

3. Especificação Algébrica: A construção de uma Especificação Algébrica Equacional. A semântica inicial de uma especificação equacional, a Álgebra de Termos Quociente e a Verificação de que uma dada Esp-Álgebra é isomorfa à álgebra de termos quociente. A linguagem de especificação CafeOBJ.