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

 Novo  Classificações finais da época tinynew.gifespecial -- ver Classificações.

[ Contacto | Página principal
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 | Classificações ]

  Equipa docente

  Horário

Ref. Dia Hora Tipo Sala Cursos Docente
1 4.-feira 09h00-10h00 TP(1) DI-0.11 LESI/LMCC L.S. Barbosa
2 5.-feira 09h00-11h00 T DI-A2 LMCC/LESI J.N. Oliveira
3 5.-feira 14h00-16h00 TP(2) DI-0.11 LESI/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

  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

Calendário:
Época Chamada Data Hora Salas Inscritos Prova
Normal 1. 4.-feira, 25 de Janeiro 2006 14h00 2111 16 pdf
Normal 2. Sábado, 04 de Fevereiro 2006 09h30 1301-1302 27+2 pdf
Recurso - 6.-feira, 17 de Fevereiro 2006 09h30 2210

pdf
Especial - 3.-feira, 3 de Outubro de 2006 10h00 3101 pdf

  Classificações


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


J. Nuno Oliveira 2007-09-04