 |
Especificação e Desenvolvimento Formal de 'Software' - 2000/01
|
|
[ DI/UM ]
|
|---|
J.N. Oliveira 406006
|
Aula Teórica de 00.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 00.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 00.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 00.11.03 [Ref:1]:
|
Sumário: Modelação com funções finitas: o tipo map A to B em VDM-SL.
|
Aula Teórica de 00.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 00.11.17 [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).
Exemplo: modelo de um monitor de temperaturas de um reactor nuclear.
|
Aula Teórica de 00.11.24 [Ref:1]:
|
Sumário: Síntese de modelos formais de sistemas críticos.
Análise de requisitos.
Interacção entre invariantes e das pré-condições.
Detecção de inconsistências e revisão dos requisitos.
Problema de trabalho: modelo de um controlador de semáforos.
|
Aula Teórica de 00.12.01 [Ref:1]:
|
Sumário: Não houve aula (
Feriado
).
|
Aula Teórica de 00.12.08 [Ref:1]:
|
Sumário: Não houve aula (
Feriado
).
|
Aula Teórica de 00.12.15 [Ref:1]:
|
Sumário: Não houve aula (
ausência do docente em reunião de projecto internacional de I&D
).
|
Aula Teórica de 01.01.05 [Ref:1]:
|
Sumário: Não houve aula (
participação do docente nas actividades de preparação do programa final
do Simpósio FME 2001
).
|
Aula Teórica de 01.01.12 [Ref:1]:
|
Sumário: Aula a sumariar
|
Aula Teórica de 01.01.19 [Ref:1]:
|
Sumário: Aula a sumariar
|
Aula Teórica de 01.01.29 [Ref:1]:
|
Sumário: Aula a sumariar
Voltar à página principal de EDFS.
Outras disciplinas leccionadas pelo DIUM
J. N. Oliveira
2001-01-05