Especificação e Desenvolvimento Formal de Software
Mestrado/Curso de Especialização em Informática
Universidade
do Minho
Ano lectivo de 1996/97
- Departamento: Informática
- Escola: Engenharia
- Escolaridade semanal: 2 horas
- Horário:
- Teórica: 2.a-feira, 11h00-13h00, anfiteatro MICA
- Docente responsável:
- Equipa docente:
- Informação teórica por prova escrita com consulta,
de acordo com a regulamentação interna em vigor.
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.
Para além de 94PS (Inforum 94) (acetatos projectados ocasionalmente nas
aulas), as restantes referências
.
Outras disciplinas leccionadas pelo Departamento de Informática
Jose Nuno Oliveira
9/27/1998