Especificação e Desenvolvimento Formal de `Software' - 2001/2002
[ DI/UM ]

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

  Equipa docente

• Teóricas -- J.N. Oliveira (406006)

  Horário

Dia	Hora	Tipo	Sala	Cursos	Docente
Sábado	11h00-13h00	T	DI-0.02	MI/CEI	J.N. Oliveira

  Atendimento

• Em qualquer altura: via email (jno@di.uminho.pt), devendo ser colocando no assunto o `string' EDFS-0102; toda a resposta que tenha interesse geral será aqui afixada numa secção de `FAQ's, a criar oportunamente.
• Sujeito a marcação verbal pelo docente respectivo, com um mínimo de uma semana de antecedência:

  Dia	Hora	Cursos	Docentes
  Sábado	13h00-14h00	MI/CEI	J.N. Oliveira

  Regime de Avaliação

• Nota teórica, por prova escrita com consulta, de acordo com regulamentação interna em vigor.
• Os alunos só poderão fazer melhoria de nota na época de recurso.

  Programa Resumido

• Introdução ao problema do controlo de qualidade em `software' . Especificação formal -- porquê e para quê? Introdução aos binómio especificação /implementação.

• Ciclo de vida usando métodos formais. Áreas típicas de aplicação. Sistemas críticos e confiáveis. Saúde. Qualidade de serviços. Sistemas de informação avançados.

• Linguagens e métodos para especificação formal. Antecendentes históricos. Do método de Viena (VDM) ao `standard' ISO/IEC 13817-1 (VDM-SL).

• Estudo da notação VDM-SL. Modelação por conjuntos, sequências e funções. Propriedades invariantes. Obrigações de prova.

• Prototipagem e animação. Ambientes de desenvolvimento formal. Experiência com a utilização do ambiente VDMTOOLS® - for Quality Software on Schedule da IFAD.

• Especificação formal por objectos (VDM++). Integração com UML e Rational Rose.

  Material Pedagógico

• Alguns exercícios de modelação em VDM-SL [HTML].
• Outro: Transparentes sobre conversão SQL/VDM-SL+ semântica de diagramas E-R + Exemplo de «literate VDM-SL».

  Sumários

• Teóricas

  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. [available as a 846K gzipped PS file]).

  Provas de Avaliação

Época	Chamada	Data	Hora	Salas	Inscritos	Prova
Normal	-	23 de Fevereiro de 2002	10h00	Sala do Mestrado	25	(pdf)
Recurso	-	Sábado, 14 de Setembro de 2002	9h00	Sala do Mestrado	8	(pdf)

  Notas Finais

• Época de recurso: [ Informação removida (RGPD artigo 17º) ]

• Época normal: [ Informação removida (RGPD artigo 17º) ]

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