U.Minho Especificação e Desenvolvimento Formal de `Software' - 2000/2001
[ DI/UM ]

  Equipa docente

  Horário

Dia Hora Tipo Sala Cursos Docente
6.ª-feira 16h00-18h00 T DI-0.02 MI/CEI J.N. Oliveira

  Atendimento

  Regime de Avaliação

  Programa Resumido

  Sumários

  Bibliografia

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.
Departamento de Informática, Universidade do Minho, 4.ª edição, 1998.
489 p. [available as a 846K gzipped PS file]).

  Provas de Avaliação

  Classificações da Disciplina


Voltar à página principal de EDFS.
Outras disciplinas leccionadas pelo DIUM


J. N. Oliveira
2002-01-07