1.
|
Teste baseado em defeitos de classses Java utilizando aspectos e mutação de especificações OCL Ascari, Luciano Cesar
|
2.
|
VFT Camargo, Neilor Fermino
|
3.
|
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
|
4.
|
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
|