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:

  Curso	Nome	Classif.
  CEI	Arnaldo Rui Novaes Villaverde Esteves Brás	17
  CMI	Giovana Mendes	10
  CEI	Guilherme António Teixeira	14
  CEI	José Manuel Almeida Pereira	17
  CEI	João Paulo Portela Araújo	12
  CEI	Paulo Alexandre Vilarinho (ALVES DE?) Carvalho Assis	10
  CMI	Ricardo Alexandre Gonçalves Carotta Martins	10

• Época normal:

  Curso	Nome	Classif.
  CMI	Alberto Manuel Brandão Simões	18
  CEI	Ana Maria Costa Ferreira da Cunha	Faltou
  CMI	António Alexandre Sousa Gouveia	15
  CMI	António Manuel Leite Rebelo	Faltou
  CEI	António Paulo Salgueiral Soares Santos	11
  CEI	Arnaldo Rui Novaes Villaverde Esteves Brás	12
  CEI	Carlos Alberto Gonçalves Carvalho	15
  CEI	Carlos Jorge Feijó Lopes	10
  CEI	Eurico Alexandre Teixeira Borges	10
  CEI	Fernando da Gama Vieira	17
  CMI	Giovana Mendes	Reprovado
  CEI	Guilherme António Teixeira	10
  CEI	João Manuel Esteves Dias de Andrade	12
  CEI	João Paulo Portela Araújo	12
  CEI	José Manuel Almeida Pereira	11
  CEI	Lídia Adelaide Soares Martins	(*)
  CMI	Luís Filipe Rocha Maia Ferreira	18
  CMI	Nelson Ezequiel Ferreira Nunes	11
  CEI	Nuno Miguel Duarte Cerqueira Dinis	11
  CEI	Paulo Alexandre Vilarinho (ALVES DE?) Carvalho Assis	Desistiu
  CMI	Ricardo Alexandre Gonçalves Carotta Martins	Reprovado
  CEI	Sérgio de Jesus Duarte Dias	15
  CMI	Vasco Nuno Barreiro Capitão Miranda	10
  CMI	Vasco Nuno Caio dos Santos	17
  CMI	Victor Manuel Santos Coelho	15

  (*)

  Consultar pauta na Secretaria do DI.

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