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

 Novo   Classificações (época especial)

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

  Equipa docente

  Horário

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

  Atendimento

  Regime de Avaliação

  Sumários

  Programa Resumido

  Programa Detalhado

  Práticas Laboratoriais

Informação sobre VDMTOOLS :

  Material Pedagógico

-
Guião das sessões de laboratório sobre VDMTOOLS.
NB: Nas condições do protocolo entre a Universidade do Minho e a IFAD [Licença académica para uso grátis das VDMTOOLS pelo Departamento de Informática], os enunciados estão escritos em inglês.

-
No ficheiro mi0203mp.zip encontram-se, até ao momento [data desta versão: 03.01.15]:
orangeball.gif
Ficheiro mi0203ln1.pdf - transparentes An Introduction to Formal Modelling.
orangeball.gif
Ficheiro mi0203ln2.pdf - transparentes Relational Formal Modelling.
orangeball.gif
Ficheiro mi0203ln3.pdf - transparentes An Introduction to Relational Hylomorphisms.
orangeball.gif
Ficheiro mi0203ln4.pdf - adenda aos apontamentos (pontos-fixos, recursividade múltipla, paramorfismos).
orangeball.gif
Ficheiro _.pdf - extensão de mi0203ln2.pdf com demonstrações.
orangeball.gif
Ficheiro ercook.pdf - transparentes ERA diagram semantics in VDM-SL.
orangeball.gif
Ficheiro mpiCalFun.pdf - contendo tabela de leis de cálculo funcional.
orangeball.gif
Ficheiro rel.pdf - contendo tabela de leis de cálculo relacional.

  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. [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

  Classificações
[ Informação removida (RGPD artigo 17º) ]


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


2003-09-24