Especificação e Verificação
2004/2005
4o ano
Licenciatura em Matemática (Computação)
Departamento de
Matemática
Faculdade de Ciências e Tecnologia da Universidade de
Coimbra
Doutor Pedro Quaresma de Almeida (Professor Auxiliar)
4 Outubro 2005
- Programa da Disciplina:
- Programa 2004/2005
- Apontamentos para as aulas Teóricas
-
- Apontamentos para as aulas Práticas (Haskell)
-
- Manuais
- Os documentos referentes às linguagens Haskell e
Maude que a seguir se indicam estão disponíveis na
Biblioteca, na Sala de Leitura, no dossier comum às disciplinas de
Compiladores e Especificação e Verificação.
- Horas de Atendimento (Gab 6.1):
- 5a feira, 14h30-17h30.
- Folhas Práticas
-
- Projectos
-
- Árvores Genealógicas.
- Enunciado
- Data de Entrega: 2/11/2004
- Data de Realização: 3/12/2004
- SGLD (grupos pares) e GCCH (grupos impares).
- O relatório deve ter a seguinte
estrutura ("clicar"), e devem ser escrito
em LaTeX.
- Trabalhos Práticos
-
- TPC1 (4/11/2004) - T.A.D. Pilha
- Construa um module Pilha alternativo ao apresentado
nos apontamentos teóricos tal que o módulo UsaPilhas
continue a funcionar sem modificações.
- Data de Realização: o código Haskell deve
ser enviado por correio electrónico até às 24h de 9/11/2004.
- Informação de Frequência
- O ficheiro
aqui (4 de Outubro de 2005)
referênciado não é uma pauta! Os alunos devem consultar
as pautas fixadas pelos serviços competentes.
- Enunciados dos Exames 2003/2004
-
Pedro Quaresma de Almeida
Departamento de Matemática
Faculdade de Ciências e Tecnologia
Universidade de Coimbra
3000 COIMBRA, PORTUGAL
pedro - mat uc pt