U.Minho Especificação e Desenvolvimento Formal de `Software'
[ DI/UM ]

[ Cursos | Informações Gerais | Objectivo | Funcionamento da Disciplina |
EDFS (2004/05)
EDFS (2003/04) | EDFS (2002/03) | EDFS (2001/02) | EDFS (2000/01) | EDFS (1999/2000) | EDFS (1998/99) | EDFS (1997/98) | EDFS (1996/97) ]

  Cursos

  Informações Gerais

  Objectivo

Estudo do desenvolvimento de sistemas de software baseado em Métodos Formais, com ênfase para as técnicas de especificação baseadas em modelos da matemática discreta, que conduzem ao cálculo de sistemas de informação e à garantia de correcção.

  Funcionamento da Disciplina

A informação detalhada sobre esta disciplina (incluindo avisos e sumários) encontra-se organizada por anos lectivos, conforme se segue:

EDFS (2004/05) EDFS (2003/04) EDFS (2002/03) EDFS (2001/02) EDFS (2000/01) EDFS (1999/2000) EDFS (1998/99) EDFS (1997/98)


Outras disciplinas leccionadas pelo DIUM


2004-10-27