Especificação e Verificação
Horário
- Terça feira 16-17, teóricas, sala 4.1
- Quarta feira 9-10:30, teórico-práticas, sala 4.1 ou sala de
computadores 0.2
- Quinta feira 9-10, teóricas, sala 4.2
Sumários das teóricas
- 23/9: Introdução; Álgebras e especificação equacional:
conceitos básicos.
- 25/9: Álgebras e especificação equacional: Exemplos.
- 30/9: Indução Estrutural.
- 2/10: Haskell: Funções
- 7/10: Esp-Álgebras
- 9/10: Haskell: Funções (cont.)
- 14/10: Haskell: Funções de Ordem-Superior
- 16/10: Haskell: Definição de Tipos
- 21/10: Haskell: Definição de
Tipos, IO, Módulos
- 23/10: Haskell: Módulos (cont.)
- 30/10: Especificação de Tipos
Abstractos de Dados
- 4/11: Álgebra de Termos Quociente
- 6/11: Álgebra de Termos
Quociente (cont.)
- 11/11: Álgebra de Termos
Quociente (cont.)
- 13/11: Um exemplo
- 18/11: CafeObj:
Um exemplo
- 25/11: Especifição
equacional de grupos
- 2/12: Semântica inicial
- 4/12: Termos canonicos
- 9/12:
Especificação parametrizada
Sumários das teórico-práticas
- 24/9: Introdução; Tipos de Dados.
- 1/10: Tipos Estruturados; Funções.
- 8/10: Folha 1
- 22/10: Folha 1 (cont.)
- 29/10: Folha 1: 10 e 12, Folha 2: 1
- 5/11: Folha 2: 2
- 12/11: CafeOBJ
- 19/11: Indução estrutural
- 26/11: CafeOBJ:
calcular e torre de Hanoi
- 3/12: Folha 4 e
Folha 5.
- 10/12: Folha 6
e especificação parametrizada.
Sebentas
Folhas Práticas
Exercícios
- -> 29/10: Folha1: 10 e 12
- -> 5/11: Folha2: 2
- -> 12/11: Folha3
- -> 19/11: Folha4: 1 e 2
- -> 26/11: Folha5
- -> 10/12: Folha6: 1 e 2
- -> 10/12: Folha7: 1, 2 e 3
Informação de Frequência
O ficheiro aqui, ps, pdf (21 de Fevereiro de 2004)
referênciado não é uma pauta! Os alunos devem consultar as pautas
fixadas pelos serviços competentes.
Manuais
Os documentos referentes às linguagens Haskell e
CafeOBJ 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.
Reinhard Kahle, 21.02.04