1
Assuntos:
“...Linguagem de programação - C...”
Um sistema de decisão estruturado em análise swot e posturas estratégicas aplicando análise multicritério
Dissertação
2
Assuntos:
“...Linguagem de programação C++...”
Verificação baseada em indução matemática para programas C++
Dissertação
3
Assuntos:
“...Linguagem de Programação C...”
Modelagem da dinâmica de armazenamento hormonal em uma célula endócrina
Dissertação
4
Assuntos:
“...Linguagem de programação C...”
Especificação executável usando uma linguagem de redes de Petri no domínio de sistemas embarcados
Dissertação
5
Assuntos:
“...Linguagem de Programação C...”
Uma metodologia para implementação semiautomática de protocolos de comunicação.
Dissertação
6
Assuntos:
“...Linguagem de Programação C++...”
SAVAD: sistema de avaliação de desempenho de modelos de redes de filas.
Dissertação
7
Assuntos:
“...Linguagem de programação (Computadores)...”
Um estudo sobre verificação formal de sistemas concorrentes
Dissertação
8
9
Assuntos:
“...Linguagem De Programação...”
Detecção dinâmica de condições de disputa para programas 'multi threaded' em JAVA
Dissertação
10
Assuntos:
“...Linguagem De Programação...”
Linguagens de implementacao de sistemas e a linguagem 'lapa'
Dissertação
11
Assuntos:
“...Linguagem de programação (Computadores)...”
Análise do impacto na compreensão de programas Java com a introdução de expressões lambda
Dissertação
12
Assuntos:
“...Linguagem de programação (Computadores) - Semântica...”
Especificação formal e implementação de um protótipo para a linguagem ParaLog
Dissertação
13
Assuntos:
“...Linguagem de programação...”
Funções sobrecarregadas como objeto de primeira classe
Dissertação
14
Assuntos:
“...Linguagem de programação (Computadores)...”
"Lambda" PROLOG : interpretador e unificação de ordem superior
Tese
15
Assuntos:
“...COBOL (Linguagem de programação de computador)...”
Suporte ao teste de programas COBOL no ambiente POKE-TOOL
Dissertação
16
Assuntos:
“...Linguagem de Programação...”
Protocolo conservativo CMB para simulação distribuida
Dissertação
17
Assuntos:
“...Linguagem de programação (Computadores)...”
Experimentos com codificação e compactação no gerenciamento de memoria da maquina virtual java
Dissertação
18
Assuntos:
“...Java (Linguagem de programação de computador)...”
Compilação de bytecodes Java para um ambiente de arquitetura reconfigurável
Dissertação
19
Assuntos:
“...C (linguagem de programação de computador)...”
Otimização por enxame de partículas em arquiteturas paralelas de alto desempenho.
Dissertação
20
Assuntos:
“...Linguagem de programação (Computadores)...”
Implementação de um ambiente computacional para ensino à distância
Dissertação