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

Projetos de Pesquisa

• Desenvolvimento Rigoroso de Software de Qualidade
  • MooZ e ForMooZ
  • Desenvolvimento formal de componentes de software reutilizáveis
  • Desenvolvimento sistemático de programas concorrentes em Java
• Sistemas de Informação Baseados em Internet/WWW
  • WebSteer
  • Integração de Sistemas de Informação via Internet
  • Metodologias para desenvolvimento de Sistemas de Informação para Intranet
• Engenharia de Linguagens
  • RAT
• Engenharia de Requisitos
  • REL
    

[Última alteração em 5.mar.97 por phmb.]