J.N. Oliveira

Actividade docente (Teaching)

UCs em curso (current courses):

• UC: Cálculo de Programas; Curso: MEI+LCC; Semestre: 2:2; - 05-06; 06-07; 07-08; 08-09; 09-10; 10-11; 11-12; 12-13; 13-14; 14-15; 16-17; 17-18; 18-19; 19-20; 20-21; 21-22; 22-23
• UC: Cálculo de Sistemas de Informação; Curso: MEI+LCC; Semestre: 1:1; - 17-18; 18-19; 19-20 20-21; 21-22
• UC: Métodos Formais em Engenharia de Software (MFP); Curso: MEI; Semestre: 1:1; - 21-22
• UC: Informática para a Musicologia; Curso: LM; Semestre: 3:1; - 08-09; 09-10; 10-11; 11-12; 12-13; 13-14; 14-15; 16-17; 17-18; 18-19; 20-21; 21-22; 22-23

Outras UCs (Other courses):

• UC: Algebraic and Coalgebraic Methods in Software Development; Curso: MAP-i; Semestre: 1:1; - 13-14; 14-15; 16-17
• UC: Program Semantics, Verification, and Construction; Curso: MAP-i; Semestre: 1:1; - 07-08; 08-09; 09-10: -; 10-11
• UC: Thematic Seminar II; Curso: MAP-i; Semestre: 1:2; - 11-12
• UC: Especificação e Modelação (MFES); Curso: MiEI+LCC; Semestre: 1:1; - 14-15; 16-17
• UC: Arquitectura e Cálculo (MFES); Curso: MiEI+LCC; Semestre: 1:2; - 16-17
• UC: Métodos Formais em Engenharia de Software (MFES); Curso: MEI; Semestre: Anual; - 07-08; 08-09; 09-10; 10-11; 11-12; 12-13; 13-14; 14-15:
• UC: Métodos de Programação I; Curso: LMCC+LESI; Semestre: 2:1; - 97-98: -; 98-99; 99-00; 00-01; 01-02; 02-03; 03-04; 05-06; 06-07
• UC: Laboratórios de Informática I; Curso: MiEI; Semestre: 1:1; - 10-11; 11-12; 12-13
• UC: Laboratório de Métodos Formais; Curso: LMCC+LESI; Semestre: 5:1; - 03-04; 06-07
• UC: Métodos Formais de Programação I; Curso: LMCC+LESI; Semestre: 4:1; - 95-96; 96-97; 97-98: -; 98-99; 99-00; 00-01; 01-02; 02-03; 03-04; 05-06; 06-07
• UC: Métodos Formais de Programação II; Curso: LMCC+LESI; Semestre: 4:2; - 95-96; 96-97; 97-98: -; 98-99; 99-00; 00-01; 01-02; 02-03; 03-04; 05-06; 06-07
• UC: Especificação e Desenvolvimento Formal de Software; Curso: MI/CEI; Semestre: 1:1; - 95-96: -; 96-97; 97-98: -; 98-99; 99-00; 00-01; 01-02; 02-03; 03-04
• UC: Programação Funcional Avançada; Curso: LMCC+LESI; Semestre: 5:1; - 03-04; 04-05: -
• UC: Seminários de Ciências da Computação; Curso: MI/CEI; Semestre: 1:2; - 95-96; 96-97: -; 97-98: -; 98-99; 99-00; 00-01; 01-02: -; 02-03
• UC: Complementos de Especificação e Semântica; Curso: LMCC; Semestre: 5:1; - 95-96;

---

back