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

  Equipa docente

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

  Horário

Dia	Hora	Tipo	Sala	Cursos	Docente
6.ª-feira	16h00-18h00	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-0001; 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
  6.ª-feira	18h00-19h00	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.

  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 Normal - 21 de Fevereiro de 2001, 15h00, Sala do Mestrado
  • Prova (PDF)
• Época de Recurso - 14 de Setembro de 2001, 15h00, Sala do Mestrado
  • Prova (PDF)

  Classificações da Disciplina

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