U.Minho Métodos Formais de Programação I - 2006/07
[ DI/UM ]

 Novo   Classificações da época tinynew.gifespecial -- ver Classificações.

[ Contacto | Página principal
Equipa docente | Horário | Atendimento | Regime de Avaliação | Sumários
Programa Resumido | Programa Detalhado
Práticas Laboratoriais | Material Pedagógico
Bibliografia essencial | Bibliografia complementar | Provas de Avaliação | tinynew.gif Classificações ]

  Equipa docente

  Horário

Ref. Dia Hora Tipo Sala Cursos Docente
1 5.-feira 09h00-11h00 T DI-A2 LMCC/LESI J.N. Oliveira
2 5.-feira 14h00-16h00 TP(1) DI-0.11 LESI/LMCC L.S. Barbosa

  Atendimento

  Regime de Avaliação

  Sumários

  Programa Resumido

  Programa Detalhado

  Práticas Laboratoriais

Informação sobre VDMTOOLS : entrar em www.vdmbook.com/tools.php, onde uma versão livre está disponível para Windows

  Material Pedagógico

  Bibliografia essencial

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.

Ol06
J.N. Oliveira.
Program Design by Calculation. Draft of textbook in preparation.
Departamento de Informática, Universidade do Minho, 2006.

  Bibliografia complementar

F*05
John Fitzgerald, Peter Gorm Larsen, Paul Mukherjee, Nico Plat, and Marcel Verhoef.
Validated Designs for Object-oriented Systems.
Springer, New York, 2005.

Ol95d
J. N. Oliveira.
Métodos Formais de Programação.
Departamento de Informática, Universidade do Minho, 4. edição, 1998.
489 p. [mfp.zip]

Ol99b
J.N. Oliveira.
Recursion in the Pointfree Style.
33p., Departamento de Informática, Universidade do Minho, 1999.

Oli00
J.N. Oliveira.
Quasi-inductive datatypes, June 2000.
Departamento de Informática, Universidade do Minho. Chapter of book in preparation.

  Provas de Avaliação

Calendário:

Época Chamada Data Hora Salas Inscritos Prova
Normal 1. 2.-feira, 8-Jan 09h30 2305, 2306 26 pdf
Normal 2. 5.-feira, 25-Jan 14h00 2306 25 pdf
Recurso - 6.-feira, 16-Fev 09h30 1315 42 pdf
Especial - Sábado, 15 de Setembro de 2007 09h30 1317

pdf

  Classificações


Voltar à página principal de MFP-I.
Outras disciplinas leccionadas pelo DIUM


J. Nuno Oliveira 2007-09-21