U.Minho Especificação e Desenvolvimento Formal de 'Software' - 2001/02
[ DI/UM ]

Sumários - 2001/02

J.N. Oliveira 406006

  Aula Teórica de 01.10.13 [Ref:1]:

Sumário: Apresentação da disciplina. Programa e objectivos da disciplina. Regime de avaliação. Informação electrónica sobre a disciplina: URL: http://www.di.uminho.pt/~jno/html/edfs.html. Bibliografia.

Motivação: especificação formal -- porquê e para quê? Introdução à especificação formal como método de controlo de qualidade em `software' .

  Aula Teórica de 01.10.20 [Ref:1]:

Sumário: Introdução a VDM e às VDMTOOLS® da IFAD. Exemplo introdutório: sistema de alarmes de uma fábrica química.

  Aula Teórica de 01.10.27 [Ref:1]:

Sumário: Início do estudo da linguagem de especificação `standard' ISO/IEC 13817-1 (VDM-SL). Definição de tipos de dados. Introdução ao conceito de invariante de um tipo de dados. Tipos «registo». Construtores mk_ e selectores. Modelação com conjuntos finitos: o tipo set of A em VDM-SL). Extensão, compreensão e filtragem. Notação-ZF.

  Aula Teórica de 01.11.03 [Ref:1]:

Sumário: Não houve aula (tolerância de ponto).

  Aula Teórica de 01.11.10 [Ref:1]:

Sumário: Análise em detalhe do modelo de sistema de alarmes de uma fábrica química. Definição de operadores em VDM-SL.

  Aula Teórica de 01.11.17 [Ref:1]:

Sumário: Sessão de demonstração das VDMTOOLS® da IFAD. Exemplo: modelo de sistema de alarmes de uma fábrica química. `Literate programming' em VDM-SL. Integração com LATEX.

Modelação com conjuntos finitas: o tipo set of A em VDM-SL. Operadores.

  Aula Teórica de 01.11.24 [Ref:1]:

Sumário: Modelação comparada entre VDM-SL e SQL.

Modelação com funções finitas: o tipo map A to B em VDM-SL.

  Aula Teórica de 01.12.01 [Ref:1]:

Sumário: Não houve aula ( Feriado ).

  Aula Teórica de 01.12.08 [Ref:1]:

Sumário: Não houve aula ( Feriado ).

  Aula Teórica de 01.12.15 [Ref:1]:

Sumário: Invariantes, pre-condições e pós-condições. A lógica de predicados como sub-linguagem do ISO/IEC 13817-1 (VDM-SL). Cálculo de predicados. Quantificadores.

Exemplo: modelo de um monitor de temperaturas de um reactor nuclear.

  Aula Teórica de 01.12.22 [Ref:1]:

Sumário: Não houve aula ( Aula adiada para data a anunciar em Janeiro ).


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


J. N. Oliveira
2001-12-22