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

Novo	Notas à data da época de recurso (Setembro 2004) - ver Classificações

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

  Equipa docente

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

  Horário

Dia	Hora	Tipo	Sala	Cursos	Docente
Sábado	09h00-11h00	T	DI:2 (1.06)	MI/CEI	J.N. Oliveira

  Atendimento

• Em qualquer altura: via email (jno@di.uminho.pt), devendo ser colocando no assunto o `string' EDFS-0304; 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	11h00-12h00	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. Áreas da saúde e da segurança. 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

No ficheiro edfs0304mp.zip encontram-se, até ao momento [data desta versão: 04.01.24]:

• Transparentes An Introduction to Formal Modelling.
• Transparentes ERA diagram semantics in VDM-SL sobre semântica de diagramas E-R
• Vários ficheiros *.rtf usados nas aulas

  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	-	Sábado, 28 de Fevereiro de 2004	10h00	Sala DI:2 (1.06)	...	pdf
Recurso	-	[NOVO] 2.ª-feira, 20 de Setembro de 2004	10h00	Sala DI:2 (1.06)		(pdf)

  Notas Finais

Os seguintes alunos ficaram aprovados no exame da época normal ou da de recurso:

Nome	Curso	Classif.
António José Lira Ramos Rodrigues	MI	15
Carlos Augusto da Silva Cunha	MI	18
Carlos Manuel Ferreira da Silva	MI	19
Carlos Manuel Gomes Jardim	MI	10
Eduardo Sabina dos Santos Valente	EI	12
Eva Ferreira de Oliveira	MI	17
Hernâni da Silva Costa Correia	MI	12
João Augusto Martins Ferreira	EI	11
José Augusto Fernandes da Silva	EI	11
Manuel António Machado Carvalho	EI	10
Nuno André de Sampaio Faria	EI	17
Nuno Miguel Feixa Rodrigues	MI	19
Paulo Alexandre Teixeira da Cruz Torres Leão	MI	10
Paulo Jorge Dias Domingues	EI	18
Ricardo André Pereira Freitas	EI	13
Ricardo Manuel Meira Ferrão Luís	EI	13
Tiago Chaves Bezerra	MI	18

Os alunos que pretendam que as suas classificações sejam removidas da pauta acima devem clicar em jno@di.uminho.pt e enviar e-mail.

Voltar à página principal de EDFS.

Outras disciplinas leccionadas pelo DIUM