Pós-Graduação em Ciência da Computação

Área de Engenharia de Software e Linguagens de Programação

Projetos de Pesquisa

• Desenvolvimento Rigoroso de Software de Qualidade
  • MooZ e ForMooZ
  • Laboratório de Métodos Formais
• Sistemas de Informação Baseados em Internet/WWW
  • WebSteer
• Engenharia de Linguagens
  • RAT
• Engenharia de Requisitos
  • REL
• Linguagens e Programação Funcional
  

[Última alteração em 11.mar.99 por alcc.]