José Nuno Oliveira - Serviço Docente
[
DI/UM
]
Disciplinas
Cursos
A:S
Anos lectivos
<1995/96
1995/96
1996/97
1997/98
1998/99
1999/2000
2000/01
2001/02
2002/03
2003/04
2004/05
2005/06
2006/07
2007/08
2008/09
2009/10
2010/11
Métodos Formais em Engenharia de Software
MI
Anual
U
RL
U
RL
U
RL
U
RL
Cálculo de Programas
L
EI
+
L
CC
(2:2)
(
U
RL
)
U
RL
U
RL
U
RL
U
RL
U
RL
Especificação e Desenvolvimento Formal de Software
MI/CEI
(1:1)
(-)
(-)
U
RL
-
U
RL
U
RL
U
RL
U
RL
U
RL
U
RL
Informática para a Musicologia
LM
(2:2)
U
RL
U
RL
U
RL
Laboratórios de Informática I
L
EI
(1:1)
U
RL
Laboratório de Métodos Formais
L
MCC
+
L
ESI
(5:1)
U
RL
-
U
RL
Métodos Formais de Programação I
L
MCC
+
L
ESI
(4:1)
(-)
U
RL
U
RL
-
U
RL
U
RL
U
RL
U
RL
U
RL
U
RL
-
U
RL
U
RL
Métodos Formais de Programação II
L
MCC
+
L
ESI
(4:2)
(-)
U
RL
U
RL
-
U
RL
U
RL
U
RL
U
RL
U
RL
U
RL
-
U
RL
U
RL
Métodos de Programação I
L
MCC
+
L
ESI
(2:1)
(-)
-
U
RL
U
RL
U
RL
U
RL
U
RL
U
RL
-
U
RL
U
RL
Programação Funcional Avançada
L
MCC
+
L
ESI
(5:1)
U
RL
-
Seminários de Ciências da Computação
MI/CEI
(1:2)
(-)
U
RL
(-)
-
U
RL
U
RL
U
RL
U
RL
Complementos de Especificação e Semântica
L
MCC
(5:1)
(-)
P
DF
Outras disciplinas
leccionadas pelo DIUM
J. Nuno Oliveira 2011-08-23