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

 Novo   Notas à data da época de recurso (Setembro 2004) - ver Classificações

[ Equipa docente | Horário | Regime de Avaliação | Atendimento | Sumários |
Programa Resumido
Material Pedagógico | Bibliografia |  [NOVO] Provas de Avaliação | Classificações ]

  Equipa docente

  Horário

Dia Hora Tipo Sala Cursos Docente
Sábado 09h00-11h00 T DI:2 (1.06) MI/CEI J.N. Oliveira

  Atendimento

  Regime de Avaliação

  Programa Resumido

  Material Pedagógico

No ficheiro edfs0304mp.zip encontram-se, até ao momento [data desta versão: 04.01.24]:

  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

Época Chamada Data Hora Salas Inscritos Prova
Normal - Sábado, 28 de Fevereiro de 2004 10h00 Sala DI:2 (1.06) ... pdf
Recurso -  [NOVO] 2.-feira, 20 de Setembro de 2004 10h00 Sala DI:2 (1.06)   (pdf)

  Notas Finais

Os seguintes alunos ficaram aprovados no exame da época normal ou da de recurso:

Nome Curso Classif.
António José Lira Ramos Rodrigues MI 15
Carlos Augusto da Silva Cunha MI 18
Carlos Manuel Ferreira da Silva MI 19
Carlos Manuel Gomes Jardim MI 10
Eduardo Sabina dos Santos Valente EI 12
Eva Ferreira de Oliveira MI 17
Hernâni da Silva Costa Correia MI 12
João Augusto Martins Ferreira EI 11
José Augusto Fernandes da Silva EI 11
Manuel António Machado Carvalho EI 10
Nuno André de Sampaio Faria EI 17
Nuno Miguel Feixa Rodrigues MI 19
Paulo Alexandre Teixeira da Cruz Torres Leão MI 10
Paulo Jorge Dias Domingues EI 18
Ricardo André Pereira Freitas EI 13
Ricardo Manuel Meira Ferrão Luís EI 13
Tiago Chaves Bezerra MI 18

Os alunos que pretendam que as suas classificações sejam removidas da pauta acima devem clicar em jno@di.uminho.pt e enviar e-mail.


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


2004-10-11