Especificação e Desenvolvimento Formal de Software

Mestrado/Curso de Especialização em Informática
 
Universidade do Minho

Ano lectivo de 1996/97

Informações Gerais

• Departamento: Informática
• Escola: Engenharia
• Escolaridade semanal: 2 horas
• Horário:
  • Teórica: 2.a-feira, 11h00-13h00, anfiteatro MICA
• Docente responsável:
  • J.N. Oliveira
• Equipa docente:
  • J.N. Oliveira (T)

Avaliação

• Informação teórica por prova escrita com consulta, de acordo com a regulamentação interna em vigor.

Bibliografia Essencial

O livro de texto Especificação e Desenvolvimento Formal de Software (gzip+tar de 7 ficheiros PS), 2.a edição, 1995, foi preparado especificamente para a disciplina.

Bibliografia Auxiliar

Para além de 94PS (Inforum 94) (acetatos projectados ocasionalmente nas aulas), as restantes referências . Outras disciplinas leccionadas pelo Departamento de Informática