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

Equipa docente

Horário

Ref.DiaHoraTipoSalaCursosDocente
1 4.a feira 10h00-12h00 T DI-A2 LESI+LMCC J.N. Oliveira
2 4.a feira 18h00-20h00 TP(1) DI-3 LESI+LMCC L.S. Barbosa

Atendimento

Regime de Avaliação

Sumários

Programa Resumido

Programa Detalhado

(Sujeito a alterações no decurso da disciplina)

Trabalho Laboratorial

Material Pedagógico

1.
Está disponível um ficheiro em formato tgz [13K] que, depois de expandido, deverá tornar disponíveis:
-rw-r--r--   1 jno      jno         10648 Apr 21 00:16 bams.cam
-rw-r--r--   1 jno      jno          1692 Feb  3 13:39 ff.cam
-rw-r--r--   1 jno      jno          7122 Apr 29 00:41 ffs.cam
-rw-r--r--   1 jno      jno          2422 Feb 26 15:30 int.cam
-rw-r--r--   1 jno      jno          2971 Feb  3 13:39 io.cam
-rw-r--r--   1 jno      jno          1867 Apr 29 11:46 olap.cam
-rw-r--r--   1 jno      jno          2847 Feb 17 03:16 seq.cam
-rw-rw-r--   1 jno      jno          8568 Apr 29 00:32 setcat.cam
-rw-r--r--   1 jno      jno          1640 Feb  3 13:39 sql.cam
-rw-r--r--   1 jno      jno          2109 Feb  3 13:39 str.cam
-rw-r--r--   1 jno      jno          1398 Feb  3 13:39 txt.cam
Observações:

2.
Está ainda disponível um ficheiro em formato zip [495K] que contem um 'kit' de ligação CAMILA -WINDOWS para apoio ao trabalho trabalho laboratorial. As instruções de utilização encontram-se no ficheiro mda99.doc que se obtém após a descompactação.

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.

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

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.

Provas de Avaliação

Notas Finais

À data da Época Especial, com as seguintes observações:
(a)
As alunas nrs. 7832 e 14638 devem contactar regente da disciplina por e-mail (jno@di.uminho.pt ).

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


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

3/5/2000
Jose Nuno Oliveira