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