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

Novo	Classificações à data da época especial

Equipa docente

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

Horário

Dia	Hora	Tipo	Sala	Cursos	Docente
Sábado	11h00-13h00	T	DI-A.02	MI/CEI	J.N. Oliveira

Atendimento

• Em qualquer altura: via email (jno@di.uminho.pt), devendo ser colocando no assunto o `string' EDFS-0203; 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. Á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 edfs0203mp.zip encontram-se, até ao momento [data desta versão: 03.02.04]:

• Transparentes An Introduction to Formal Modelling (em fundo claro).
• Ficheiro alarm.vdm.
• Ficheiros stack*.v*.
• Ficheiro ercook.pdf - transparentes sobre semântica de diagramas E-R

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	-	22 de Fevereiro de 2003	10h00	...	...	pdf
Recurso	-	6.�-feira, 5 de Setembro de 2003	10h00	Sala do Mestrado	2	(pdf)

Notas Finais

À data da época especial (omitem-se os alunos não-avaliados):

Nome	Curso	Classificação
Alexandre Sérgio Mano	CMI	15
Alfrânio Tavares Correia Júnior	CMI	19
Ana Maria Martins Henriques	CEI	13
António Manuel Ribeiro de Sousa	CEI	11
Arnaldo Afonso da Costa	CEI	R
Cristiana Manuela Guimarães de Freitas	CMI	15
Fabrice Azevedo	CEI	15
Filipe José Silva de Campos	CEI	16
Hélio Manuel Vilas	CEI	12
Joel Alexandre da Silva Vicente	CEI	12
José Jorge Abrantes Coelho Moura	CEI	12
José Luís Miranda Gonçalves	CEI	10
Luís Manuel Oliveira Soares	CMI	18
Luís Miguel Alves Domingues	CMI	16
Maria Celeste Marques Pinto	CEI	17
Maria Elizabete Marques Duarte	CMI	16
Mário André Pinto Ferreira de Araújo	CMI	13
Nuno Alexandre Magalhães Pereira	CMI	14
Nuno Ricardo Carvalho de Sousa	CEI	10
�scar Rafael da Silva Ferreira Ribeiro	CMI	18
Paula Alexandra Fernandes Monteiro	CEI	17
Rui Augusto de Campos Martins	CEI	R
Rui Daniel Gomes de Macedo Fernandes	CEI	15

Outras disciplinas leccionadas pelo DIUM