Metodos Formais de Programacao II - 96/97
[ DI/UM ]

Contents

 
• Equipa docente
• Regime de Avaliação
• Objectivos
• Programa Resumido
• Trabalho Laboratorial
• Avisos
• Sumários
• Provas de Avaliação
• Notas Finais

Equipa docente

• Teóricas -- J.N. Oliveira (406006)
• Teórico-práticas -- L.S. Barbosa (406023)
• Apoio laboratorial -- F.L. Neves

Regime de Avaliação

• Componentes:
  • informação teórica por prova escrita de acordo com regulamentação interna em vigor (épocas de Junho, Julho, Setembro ou Dezembro) -- t
  • 1 trabalho prático opcional -- p
  • avaliação contínua -- ac
• Fórmula de avaliação: a nota final nf será dada pela fórmula:

  nf = max(p * 40% + t * 55% + ac * 5%, t * 95% + ac * 5%)

  sujeita à condição:

            t >= (if (p >= 9.5) then 8.5 else 9.5)

Objectivos

Na edição de 1996/97 desta disciplina pretende-se transportar, para laboratório, a bagagem em Métodos Formais adquirida na cadeira Métodos Formais de Programação I, que a precede. No plano teórico, estuda-se um cálculo (SETS) que permite calcular programas (e.g. em C/C++, SQL, etc.) a partir das suas especificações. É ainda prestada alguma atenção à sistematização do desenho da camada interactiva de uma aplicação.

No plano prático, através do trabalho laboratorial (a realizar com recurso ao ambiente CAMILA, podendo ser escolhida a plataforma de desenvolvimento) os alunos poderão tomar contacto com ferramentas ou ambientes como ORACLE, HTML, SQL (e.g. mSQL (Mini SQL)) , X-Windows, WINDOWS 95, etc.

Programa Resumido

• Introdução
  • Sobre o Binómio Especificação-Reificação
  • Análise do ``Estado da Arte''
  • Refinamento (Reificação) por Fases
  • Eixos de Refinamento
  • Alternativa Transformacional
  • ``Especificação Reversa''
  • Visão Algébrica do Refinamento
• Reificação dos Dados em SETS
  • Ordens de Redundância
  • Cálculo de Redundância
  • O Subcálculo de Isomorfismo
  • O Subcálculo Inequacional
  • Cálculo Estrutural
  • Aproximação Functorial
  • Refinamento de Modelos Recursivos
  • Ainda Sobre a Manipulação de Invariantes
• Reificação das Operações
  • Cálculo de Simulações Simples
  • Cálculo de Simulações com mais do que uma Solução
  • Cálculo de Simulações Envolvendo Invariantes
  • Desrecursivação Algorítmica

Trabalho Laboratorial

• Enunciado e prazos de entrega
• Horário do apoio laboratorial:
  • 4.a -feiras, 15.00 às 18.00
  • 5.a -feiras, 15.00 às 18.00
  Para reservar atendimento pf enviem email para F.L. Neves. O atendimento realiza-se no Laboratório CAMILA (DI).

Avisos

Sumários

• Teóricas (Postscript)
• Práticas (Postscript)

Provas de Avaliação

• 1.a chamada - 97.06.30 (14:30), em conjunto com E&S (7007A4, PA)
  • Prova (incluindo a correcção) (Postscript)
• 2.a chamada - 97.07.21 (14:30), em conjunto com E&S (7007A4, PA)
  • Prova (Postscript)
• Recurso - 97.09.12 (9:30), em conjunto com E&S (PA), Sala 2205
  • Prova (Postscript)
• Especial
  • Prova
  • Notas - ver notas finais.

Notas Finais

• À data da Época especial: ver Observações no fim da pauta

  [ Informação removida (RGPD artigo 17º) ]

  Observações:

  • A pauta está ordenada por CoDisc (código de disciplina) e Nome dos alunos.

Voltar à página principal de Métodos Formais de Programação II.

Outras disciplinas leccionadas pelo DIUM