U.Minho Métodos Formais de Programação II - 2005/6
[ DI/UM ]

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

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

  Equipa docente

  Horário

Ref. Dia Hora Tipo Sala Cursos Docente
1 2. feira 11h00-13h00 TP DI-0.11 LMCC+LESI J.N. Oliveira
2 2. feira 14h00-16h00 T DI-A1 LMCC+LESI J.N. Oliveira

  Atendimento

  Regime de Avaliação

  Sumários

  Programa Resumido

  Programa Detalhado

  Trabalho Experimental

 Novo  Registo de problemas que alguns de vocês me enviaram quanto ao uso das VDMTools

NB: Nas condições de benefício de licença académica para uso grátis das VDMTOOLS pelo Departamento de Informática, o enunciado deste trabalho está escrito em inglês.

  Material Pedagógico

No habitual ficheiro zip encontram-se, até ao momento [data desta versão: 2006.06.12 ]:
orangeball.gif
iar.pdf - transparentes An Introduction to Algorithmic Refinement
orangeball.gif
Ficheiros *.cam - módulos CAMILA cuja funcionalidade pode ser útil transliterar para VDM na realização do trabalho prático.
orangeball.gif
tffsl.pdf - transparentes Theorems for Free: an Introduction
orangeball.gif
mii0506su*.pdf -- sumários, incluindo apêndices
orangeball.gif
idr.pdf -- transparentes Uma Introdução ao Refinamento de Dados (aulas em curso).
orangeball.gif
irhsl.pdf -- transparentes An Introduction to Relational Hylomorphisms (aulas em curso).
orangeball.gif
Directoria mii0506_vdm
orangeball.gif
mii0506.vdm* -- especificações VDM das aulas práticas
orangeball.gif
vdmsl-2e.sty, a4.sty, vpp.sty, evdm.sty, etc -- ficheiros auxiliares ao processamento LATEX de mii0506.vdm
orangeball.gif
Ficheiros stack*vpp* em VDM++ apresentados nas aulas práticas.
orangeball.gif
Ficheiros relativos à execução do trabalho proposto na disciplina:
  • iApiMan_letter.pdf -- Manual de Utilização da API das VDMTools (©IFAD)
  • acm*ml -- Taxonomia de tópicos ACM (gentilmente comunicada pelo Prof. )

  Bibliografia essencial

J. Fitzgerald and P.G. Larsen.
Modelling Systems: Practical Tools and Techniques.
Cambridge University Press, 1st edition, 1998.

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

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

  Bibliografia complementar

R. Bird and O. de Moor.
Algebra of Programming .
Series in Computer Science. Prentice-Hall International, 1997.
C. A. R. Hoare, series editor.

C. B. Jones.
Systematic Software Development Using VDM.
Series in Computer Science. Prentice-Hall International, 1986.
C. A. R. Hoare.

C. Morgan.
Programming from Specification.
Series in Computer Science. Prentice-Hall International, 1990.
C. A. R. Hoare, series editor.

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 zipped 2.8 Mb (PDF+PS) file]).

J.N. Oliveira.
An Introduction to Pointfree Programming.
37p., Departamento de Informática, Universidade do Minho, 1999.

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

  Provas de Avaliação

Época Chamada Data Hora Salas Inscritos Prova
Normal 1. 4.-feira, 21 de Junho de 2006 09h30 1316 a 1318 34 pdf
Normal 2. 2.-feira, 10 de Julho 2006 14h00 2201, 2202 45 pdf
Recurso - Sábado, 22 de Julho 2006 09h30 2210, 2211 ... pdf
Especial - 2.-feira, 9 de Outubro 2006 16h00 2205 ... tinynew.gif pdf

  Classificações


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


J. Nuno Oliveira 2006-10-23