Programa da Disciplina de
Especificação e Verificação 2004/2005

Pedro Quaresma de Almeida

21 de Setembro de 2004

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.

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.

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.

Bibliografia Fundamental:

 

• H. Ehrig and B. Mahr, Fundamentals of Algebraic Specification I, Springer-Verlag, Berlin 1985.
• Richard Bird, Introduction to Functional Programming using Haskell, 2nd Edition, Prentice Hall, London 1998.
• Pedro Quaresma de Almeida, Apontamentos da disciplina de Especificação e Verificação (Teóricas), Coimbra 1999.
• Pedro Quaresma de Almeida, Apontamentos da disciplina de Especificação e Verificação (Teórico/Práticas), Coimbra 1999.