1
Assuntos:
“...Techniques...”
KIRT : uma técnica de leitura baseada em informações-chave e visualização para inspeção de código com suporte computacional
Dissertação
2
Assuntos:
“...Test techniques...”
Uma estratégia para a avaliação e evolução de teste funcional de software
Dissertação
3
Assuntos:
“...Cost reduction techniques...”
SiMut: um framework automatizado para apoiar a redução do custo do teste de mutação com base em similaridade de programas
Dissertação
4
Assuntos:
“...Traceability techniques...”
Uma técnica baseada em eventos para rastreabilidade entre requisitos modelados com SysML
Dissertação
5
Assuntos:
“...Compaction techniques...”
Paralelização em CUDA do algoritmo Aho-Corasick utilizando as hierarquias de memórias da GPU e nova compactação da Tabela de Transcrição de Estados
Dissertação
6
Assuntos:
“...Coding technique...”
Usando visualização para possibilitar a análise simultânea de documentos na aplicação da técnica coding
Dissertação
7
Assuntos:
“...Generalized integral transform technique...”
Modelagem computacional de problemas de biotransferência de calor empregando transformações integrais, metamodelos e inferência Bayesiana
Tese
8
Assuntos:
“...Physiotherapy technique...”
Exergame com cicloergômetro para a reabilitação de pacientes
Dissertação
9
Assuntos:
“...-constraint technique...”
Técnicas de otimização multiobjetivo e otimização estocástica para o roteamento de fluxos em redes
Tese
10
Assuntos:
“...Reading technique...”
RTSS: uma família de técnicas de leitura para suporte à inspeção de modelos SysML e Simulink
Tese
11
12
Assuntos:
“...Integral Transform Technique...”
Modelagem computacional para identificação de danos estruturais empregando transformações integrais e inferência bayesiana
Tese