1
Assuntos:
“...Programming tests (Computing)...”
Um método de teste de sincronização para programas concorrentes em Ada.
Dissertação
2
Assuntos:
“...Orçamento-programa...”
Mixed-integer linear programming based approaches for the resource constrained project scheduling problem.
Tese
3
“... programática na execução das atividades do Programa de Saúde na Escola. Pesquisa de caráter analítico...”
Profissionais da saúde e a vulnerabilidade programática no Programa Saúde na Escola
Dissertação
4
5
Assuntos:
“...Computadores - Programação...”
Método e ferramental para mapeamento da evolução de programadores durante o desenvolvimento de programas
Dissertação
6
Assuntos:
“...Dicas de programação para iniciantes...”
Uma abordagem para auxiliar a correção de erros de programadores iniciantes
Dissertação
7
8
Assuntos:
“...Programação orientada a objetos (Computação)...”
Avaliação de conjuntos de testes funcionais no contexto de programas orientados a objetos e programas orientados a aspectos
Dissertação
9
Assuntos:
“...Aprendizado de programação....”
Depuração automática de programas baseada em modelos: uma abordagem hierárquica para auxílio ao aprendizado de programação
Dissertação
10
Assuntos:
“...Programação...”
Execução distribuída de programas funcionais usando a máquina virtual java
Dissertação
11
Assuntos:
“...Programação - Representação de Conhecimento...”
Uma ferramenta para verificação interativa de programas vip.
Dissertação
12
Assuntos:
“...Programação - Representação de Conhecimento...”
Uma ferramenta para verificação interativa de programas vip.
Dissertação
13
Assuntos:
“...Agenda programática...”
Eleições presidenciais de 2014: uma análise das agendas programáticas
Dissertação
14
Assuntos:
“...agenciamentos programáticos...”
O ser e o outro: agenciamentos programáticos em territórios que provoquem arquiteturas do acontecimento
Dissertação
15
Assuntos:
“...Linguagem de programação C++...”
Verificação baseada em indução matemática para programas C++
Dissertação
16
Assuntos:
“...Depuração de programas (Computação)...”
Depuração de erros lógicos em programas paralelos.
Tese
17
Assuntos:
“...Linguagem de programação...”
Aspectos de projeto e implementação de linguagens para codificação de programas adaptativos.
Tese
18
Assuntos:
“...Concurrent programming...”
Teste de mutação aplicado a programas concorrentes em MPI
Dissertação
19
Assuntos:
“...parallel programming...”
Desenvolvimento de modelos para predição de desempenho de programas paralelos MPI.
Dissertação
20
Assuntos:
“...Programação por Contratos...”
"Aprimorando a verificação de conformidade em programas baseadas em contratos".
Dissertação