Especificação e Verificação

 

 

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

 

Ano Lectivo: 2004/05

 

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