Especifica��o e Desenvolvimento Formal de `Software' - 1999/2000
[ DI/UM ]

Equipa docente

• Te�ricas -- J.N. Oliveira (406006) e P.G. Larsen (IFAD, docente convidado)

Hor�rio

Dia	Hora	Tipo	Sala	Cursos	Docente
5.�-feira	15h00-17h00	T	DI-0.02	MI/CEI	J.N. Oliveira+ P.G. Larsen

Atendimento

• Em qualquer altura: via email (jno@di.uminho.pt), devendo ser colocando no assunto o `string' EDFS-9900; 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
  5.�-feira	14h00-15h00	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

• Esta disciplina incluiu um m�dulo (20h) que foi leccionado em regime intensivo (Art� 23� §5 do Regulamento de P�s-Gradua��o), durante toda a semana de 10-13 de Janeiro de 2000.
• As restantes aulas te�ricas tiveram lugar nos dias 7 de Outubro de 1999, 16 de Dezembro de 1999 e 6 de Janeiro de 2000.

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.

Provas de Avalia��o

• �poca Normal - 11 de Fevereiro 2000, 09h30, Sala DI-0.02
  • Prova (PDF)
• �poca de Recurso - 15 de Setembro de 2000,15h00, Sala do Mestrado DI-1
  • Prova (PDF)

Classifica��es da Disciplina