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