U.Minho Métodos Formais de Programação I - 2001/02
[ DI/UM ]

 Novo   Classificações do exame da época especial - ver Classificações

[ Equipa docente | Horário | Atendimento | Regime de Avaliação | Sumários
Programa Resumido | Programa Detalhado | Práticas Laboratoriais
| Material Pedagógico
Bibliografia | Provas de Avaliação | tinynew.gifClassificações ]

  Equipa docente

  Horário

Ref. Dia Hora Tipo Sala Cursos Docente
1 5.ª-feira 09h00-10h00 T DI-A2 LMCC/LESI J.N. Oliveira
2 5.ª-feira 10h00-11h00 T DI-A2 LESI/LMCC J.N. Oliveira
3 5.ª-feira 11h00-13h00 TP(2) DI-A2 LESI/LMCC L.S. Barbosa
4 6.ª-feira 11h00-13h00 TP(1) CP2-210 LMCC L.S. Barbosa

  Atendimento

  Regime de Avaliação

  Sumários

  Programa Resumido

  Programa Detalhado

  Práticas Laboratoriais

Informação sobre VDMTOOLS® :

  Material Pedagógico

-
Guião das sessões de laboratório sobre VDMTOOLS®.
NB: Nas condições do protocolo entre a Universidade do Minho e a IFAD [Licença académica para uso grátis das VDMTOOLS® pelo Departamento de Informática], os enunciados estão escritos em inglês.

-
No ficheiro mi0102mp.zip encontram-se, até ao momento [data desta versão: 01.12.20]:
orangeball.gif
Ficheiro «A Brief Introduction to VDM-SL.ppt»
orangeball.gif
Ficheiro mi0102ln.pdf contendo adenda aos apontamentos (material adicional como paramorfismos, etc)
orangeball.gif
Ficheiro sql.pdf contendo transparentes sobre esboço de semântica de SQL em VDM-SL.

  Bibliografia

FL98
J. Fitzgerald and P.G. Larsen.
Modelling Systems: Practical Tools and Techniques .
Cambridge University Press, 1st edition, 1998.

Jon86
C. B. Jones.
Systematic Software Development Using VDM.
Series in Computer Science. Prentice-Hall International, 1986.
C. A. R. Hoare.

Ol95d
J. N. Oliveira.
Métodos Formais de Programação.
Departamento de Informática, Universidade do Minho, 4.ª edição, 1998.
489 p. [mfp.zip]

Ol99b
J.N. Oliveira.
Recursion in the Pointfree Style.
33p., Departamento de Informática, Universidade do Minho, 1999.

Oli00
J.N. Oliveira.
Quasi-inductive datatypes, June 2000.
Departamento de Informática, Universidade do Minho. Chapter of book in preparation.

  Provas de Avaliação

Época Chamada Data Hora Salas Inscritos Prova
Normal 1.ª 4.ª-feira, 16 de Janeiro 2002 09h30 2206, 2207 24 + 2 pdf
Normal 2.ª 4.ª-feira, 30 de Janeiro 2002 14h30 2110, 2111 35 + 6 pdf
Recurso - 6.ª-feira, 6 de Setembro 2002 14h30 ... ... pdf
Especial - 4.ª-feira, 13 de Novembro 2002 14h00 2203 0+3 pdf

  Classificações


Voltar à página principal de MFP-I.
Outras disciplinas leccionadas pelo DIUM


J. N. Oliveira
2002-11-27