1.
|
VFT Camargo, Neilor Fermino
|
2.
|
Construção de um compilador de JAVA para a linguagem formal VCt., Construção de um compilador de JAVA para a linguagem formal VCt. Eduardo Jorge Oliveira - J. Artur Vale Serrano
|
3.
|
Sistema de Atendimento Telefónico Automatizado dos SDUA (SATA-SDUA), Sistema de Atendimento Telefónico Automatizado dos SDUA (SATA-SDUA) Carlos Rui Gouveia Carvalhal - Arménio Augusto Arvins Pereira Pinto - Manuel Agostinho de Oliveira Romeiro
|
4.
|
Teste baseado em defeitos de classses Java utilizando aspectos e mutação de especificações OCL Ascari, Luciano Cesar
|
5.
|
Um algoritmo evolutivo de geração de dados de teste para satisfazer critérios baseados em códigos objeto Java Araki, Lucilia Yoshie
|