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

À data da Época de Recurso:

Nome Ano Nr Classificação

António Augusto da Costa Salgado 1999/2000 esp557 14

António Luís Aguiar de Morais 1999/2000 mes3874 Faltou

António Miguel Ribeiro dos Santos Rosado da Cruz 1999/2000 esp558 16

Bruno da Conceição Cortes 1999/2000 mes3875 18

Carla Isabel Morais Rodrigues Vilela 1999/2000 mes3876 15

Francisco José Monteiro Duarte 1999/2000 esp559 17

José Manuel Balão da Silva 1999/2000 esp561 15

José Pedro de A. N. M. de Morais 1999/2000 mes3878 11

João Carlos Cardoso da Silva 1999/2000 mes3877 15

João Carlos Rodrigues da Rocha 1998/1999 esp 14

Luís Alberto Peixoto Nunes Leal 1999/2000 esp562 Faltou

Luís Filipe de Quintas Brito 1999/2000 mes3880 17

Mário Miguel Martins Machado 1999/2000 mes3879 14

Nelson Manuel Faria Freire 1999/2000 mes2684 Faltou

Orlando José Folha Dias 1999/2000 esp563 11

Óscar Sílvio M. de Almeida Gama 1999/2000 mes3831 13

Pedro Miguel Carreira da Maia 1998/1999 esp384 15

Sílvia Maria Rodrigues da Cunha 1999/2000 mes3881 14

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