U.Minho Métodos Formais de Programação II - 2003/4
[ 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

[ Contacto | 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 | 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 habitual ficheiro zip encontram-se, até ao momento [data desta versão: 04.06.28]:
-
Ficheiros mpiCalFun.pdf e miCalRel.pdf - contendo tabelas de leis de cálculo que estarão disponíveis no exame.
-
Ficheiros bams.vpp* - texto que foi assunto das aulas práticas de 17 de Maio.
-
Ficheiros *.xls - exemplos de folhas de cálculo para realização do trabalho experimental
-
Ficheiro stackAlgObj.rtf estudado nas aulas práticas.
-
Ficheiros idr*.pdf|ps - transparentes Uma Introdução ao Refinamento de Dados .
-
Ficheiros iar*.pdf|ps - transparentes Uma Introdução ao Refinamento de Algoritmos .
-
Ficheiros ercook*.pdf|ps - transparentes ERA diagram semantics in VDM-SL .

  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, 16 de Junho de 2004 09h30 2205, 2206 51 pdf
Normal 2.ª Sábado, 3 de Julho 2004 09h30 2209 33 pdf
Recurso - 4.ª-feira, 21 de Julho 2004 09h30 2204 ... pdf
Especial - Sábado, 11 de Setembro 2004 09h30 ... ... pdf

  Classificações


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


2004-09-24