T (2004.09.23): Apresentação da Disciplina. Introdução aos métodos formais de especificação e desenvolvimento de software. O binómio especificação-implementação. Objectivos e programa da disciplina; sua integração no plano curricular do curso.
TP (2004.09.22): Apresentação: marcação de turnos.
TP (2004.09.22): Apresentação: marcação de turnos.
T (2004.09.30): Motivação para a especificação relacional. Introdução ao Cálculo Relacional. Operadores básicos e propriedades.
TP (2004.09.29): Apresentação do VDMTools. Resolução do problema 02 do guião das sessões de laboratório(Modelling with Sequences).
TP (2004.09.30): Apresentação do VDMTools. Resolução do problema 02 do guião das sessões de laboratório (Modelling with Sequences).
T (2004.10.07): Cálculo Relacional: Lei modular; técnicas de prova; exemplos.
TP (2004.10.06): Resolução do problema 03 dos guiões (Modelling with Sets).
TP (2004.10.07): Resolução do problema 03 dos guiões (Modelling with Sets).
T (2004.10.14): Dispensa de aulas concedida pelo Senhor Reitor
TP (2004.10.13): Resolução do problema 06 dos guiões (Modelling with Mappings).
TP (2004.10.14): Resolução do problema 06 dos guiões (Modelling with Mappings).
T (2004.10.21): Raciocínio com funções: regras de shunting; especialização de leis. Conexões de Galois: motivação, definição e exemplos. Propriedades básicas associadas a uma conexão de Galois. Prova da preservação de supremos (infimos) pelo adjunto inferior (superior).
TP (2004.10.20): Resolução do problema 07 dos guiões (Multisets "are" Mappings).
TP (2004.10.21): Resolução do problema 07 dos guiões (Multisets "are" Mappings).
T (2004.10.28): Continuação da aula anterior: análise de diversos exemplos de conexões de Galois e derivação de propriedades.
Noção de either e split relacionais.
TP (2004.10.27): Resolução da Ficha 1 (Cálculo Relacional).
TP (2004.10.28): Resolução da Ficha 1 (Cálculo Relacional).
T (2004.11.04): Faltou o docente (por deslocação em serviço). Em substituição foi dada uma aula TP a cargo da Prof. Olga Pacheco.
TP (2004.11.03): Resolução da Ficha 2 (Cálculo Relacional).Resolução do problema 04 dos guiões (Datatype Invariants).
TP (2004.11.04): Resolução da Ficha 2 (Cálculo Relacional).Resolução do problema 04 dos guiões (Datatype Invariants).
T (2004.11.11): Semântica relacional da meta-linguagem de VDM. Definição recursiva de relações. Noção de
hilomorfismo relacional. Incursão na semântica das definições recursivas. Teorema de Knaster-Tarski.
TP (2004.11.10): Faltou a docente (deslocação em serviço).
TP (2004.11.11): Faltou a docente (deslocação em serviço).
T (2004.11.18): Faltou o docente (deslocação em serviço).
Esta aula será reposta no dia 14 Dez (terça-feira) pelas 14.30 h.
TP (2004.11.17): Faltou a docente. (Aula de substituição).
TP (2004.11.18): Faltou a docente. (Aula de substituição).
T (2004.11.25): Cálculo de pontos fixos. Leis básicas e exemplos. Aplicação ao cálculo de hilomorfismos relacionais.
TP (2004.11.24): Resolução da Ficha 3 (Conexões de Galois).Resolução do problema 09 dos guiões (A Toy Production Database model).
TP (2004.11.25): Resolução da Ficha 3 (Conexões de Galois).Resolução do problema 09 dos guiões (A Toy Production Database model).
T (2004.12.02): Propriedades dos hilomorfismos relacionais. Aplicação ao estudo dos tipos colectivos (não indutivos) de VDM (conjuntos e corresponências).
TP (2004.12.01): Feriado Nacional.
TP (2004.12.02): Resolução da Ficha 4 (Conexões de Galois). Continuação da resolução do problema 09 dos guiões.
T (2004.12.09): Relação de acessibilidade e pertença em tipos de dados. Factorização em equações-hilo. Condições para a existência
de soluções únicas. Aplicações.
TP (2004.12.08): Feriado Nacional.
TP (2004.12.09): (Aulas de dúvidas)
T (2004.12.14): (Reposição aula de 18 Nov) Discussão de exercícios de aplicação.
T (2004.12.16): Conclusão da disciplina. Preenchimento do questionário de avaliação.
TP (2004.12.15): (Aulas de dúvidas)
TP (2004.12.16): (Aulas de dúvidas)
-- LuisSoaresBarbosa - 21 Sep 2004