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

 Novo  Classificações à data da época especial

[ Equipa docente | Horário | Atendimento | Regime de Avaliação
Sumários | Programa Resumido | Programa Detalhado | Trabalho Laboratorial | Material Pedagógico
Bibliografia essencial | Bibliografia complementar | Provas de Avaliação | tinynew.gifClassificações | Página principal ]

  Equipa docente

  Horário

Ref.DiaHoraTipoSalaCursosDocente
1 2.a feira 11h00-13h00 TP(1) DI-3 LMCC+LESI J.B. Barros
2 4.a feira 11h00-13h00 T DI-A2 LMCC+LESI J.N. Oliveira
3 4.a feira 14h00-16h00 TP(2) DI-3 LMCC+LESI J.B. Barros

  Atendimento

  Regime de Avaliação

  Sumários

  Programa Resumido

  Programa Detalhado

  Trabalho Laboratorial

  Material Pedagógico

Apontamentos:

  Bibliografia essencial

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

Ol95d
J. N. Oliveira.
Métodos Formais de Programação.
Departamento de Informática, Universidade do Minho, 4.ª edição, 1998.
489 p. [available as a zipped 2.8 Mb (PDF+PS) file]).

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

Ol00b
J.N. Oliveira.
Data representation and refinement, June 2000.
Departamento de Informática, Universidade do Minho. Chapter of book in preparation.

Ol00c
J.N. Oliveira.
Operation refinement, June 2000.
Departamento de Informática, Universidade do Minho. Chapter of book in preparation.

  Bibliografia complementar

BdM97
R. Bird and O. de Moor.
Algebra of Programming .
Series in Computer Science. Prentice-Hall International, 1997.
C. A. R. Hoare, series editor.

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

Mor90
C. Morgan.
Programming from Specification.
Series in Computer Science. Prentice-Hall International, 1990.
C. A. R. Hoare, series editor.

Ol99a
J.N. Oliveira.
An Introduction to Pointfree Programming.
37p., Departamento de Informática, Universidade do Minho, 1999.

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

  Provas de Avaliação

Época Chamada Data Hora Salas Inscritos Prova
Normal 1.ª 4.ª-feira, 12 de Junho 2002 09h30 2207, 2208 1+33 pdf
Normal 2.ª 6.ª-feira, 5 de Julho 2002 09h30 2208,2209 51 pdf
Recurso - Sábado, 7 de Setembro 2002 09h30 2212 ... pdf
Especial - 6.ª-feira, 15 de Novembro 2002 17h00 2303 0+13 pdf

  Classificações

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


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


J. N. Oliveira
2002-11-27