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

 Novo  As notas finais (à data da época especial e após o encerramento da edição 2003/04 da disciplina) estão disponíveis em 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 | Classificações ]

  Equipa docente

  Horário

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

Época Chamada Data Hora Salas Inscritos Prova
Normal 1. 3.-feira, 20 de Janeiro 2004 09h30 2201 25+1 pdf
Normal 2. 2.-feira, 2 de Fevereiro 2004 14h00 2105 30 + 2 pdf
Recurso - 4.-feira, 18 de Fevereiro 2004 14h00 2301 ... pdf
Especial - 5.-feira, 16 de Setembro 2004 14h00 1211 0+7 pdf

  Classificações


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


2004-09-24