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

Equipa docente

Horário

Ref. Dia Hora Tipo Sala Cursos Docente
1 3.ª-feira 11h00-13h00 TP(1) DI/2 LMCC F.L. Neves
2 4.ª-feira 11h00-13h00 T C2/321 LMCC/LESI J.N. Oliveira
3 4.ª-feira 14h00-16h00 TP(1) DI/2 LESI F.L. Neves
4 6.ª-feira 11h00-13h00 TP(2) DI/2 LESI F.L. Neves

Atendimento

Regime de Avaliação

Sumários

Programa Resumido

Programa Detalhado

Bibliografia

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

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.
University of Minho, 4th edition, 1997.
Textbook (489 p. in Portuguese [available as a 846K gzipped PS file]). English version under preparation at the time of writing.

Oli98
J. N. Oliveira.
A data structuring calculus and its application to program development, May 1998.
Lecture Notes (150 p. [available as a 390K gzipped PS file]). Departamento de Informatica, Facultad de Ciencias Fisico-Matematicas y Naturales, Universidad de San Luis, Argentina.

Material Pedagógico

Provas de Avaliação

Notas Finais

Observações:

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


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

1/31/2000
Jose Nuno Oliveira