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

 Novo  Classificações finais da época especial

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

  Equipa docente

  Horário

Ref. Dia Hora Tipo Sala Cursos Docente
1 2. feira 9h00-11h00 TP(1) DI-3 LMCC+LESI J.N. Oliveira
2 2. feira 11h00-13h00 TP(2) DI-3 LMCC J.N. Oliveira
3 4. feira 11h00-13h00 T DI-A1 LMCC+LESI J.N. Oliveira

  Atendimento

  Regime de Avaliação

  Sumários

  Programa Resumido

  Programa Detalhado

  Trabalho Experimental

  Material Pedagógico

No ficheiro mii0203mp.zip encontram-se, até ao momento [data desta versão: 03.06.23]:
-
Ficheiro mii0203su_A.pdf - anexo aos sumários contendo algumas resoluções de exercícios das aulas práticas.
-
Ficheiro mi0203ln6.pdf - transparentes An Introduction to Algorithmic Refinement.
-
Ficheiro mi0203ln5.pdf - transparentes An Introduction to Data Refinement.
-
Ficheiro mi0203tp.pdf - tema para projecto da disciplina (Pacote de gestão de processos e organizações).
-
Ficheiros stack*.v*.

  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. Sábado, 28 de Junho 2003 09h30 3303, 3304 ... pdf
Normal 2. Sábado, 12 de Julho 2003 09h30 2302   pdf - incluindo a correcção
Recurso - 3.-feira, 22 de Julho 2003 14h30 2202, 2208 ... pdf - incluindo a correcção
Especial - 5.-feira, 4 de Setembro 2003 08h00 1208 2+18 pdf

  Classificações


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


2003-09-26