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

Equipa docente

Horário

Dia Hora Tipo Sala Cursos Docente
5.ª-feira 15h00-17h00 T DI-0.02 MI/CEI J.N. Oliveira+ P.G. Larsen

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.

Provas de Avaliação

Classificações da Disciplina

À data da Época de Recurso:

NomeAnoNrClassificação
António Augusto da Costa Salgado 1999/2000 esp557 14
António Luís Aguiar de Morais 1999/2000 mes3874 Faltou
António Miguel Ribeiro dos Santos Rosado da Cruz 1999/2000 esp558 16
Bruno da Conceição Cortes 1999/2000 mes3875 18
Carla Isabel Morais Rodrigues Vilela 1999/2000 mes3876 15
Francisco José Monteiro Duarte 1999/2000 esp559 17
José Manuel Balão da Silva 1999/2000 esp561 15
José Pedro de A. N. M. de Morais 1999/2000 mes3878 11
João Carlos Cardoso da Silva 1999/2000 mes3877 15
João Carlos Rodrigues da Rocha 1998/1999 esp 14
Luís Alberto Peixoto Nunes Leal 1999/2000 esp562 Faltou
Luís Filipe de Quintas Brito 1999/2000 mes3880 17
Mário Miguel Martins Machado 1999/2000 mes3879 14
Nelson Manuel Faria Freire 1999/2000 mes2684 Faltou
Orlando José Folha Dias 1999/2000 esp563 11
Óscar Sílvio M. de Almeida Gama 1999/2000 mes3831 13
Pedro Miguel Carreira da Maia 1998/1999 esp384 15
Sílvia Maria Rodrigues da Cunha 1999/2000 mes3881 14


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

J. N. Oliveira
2001-01-05