1
Assuntos:
“...Linguagem de programação (Computadores)...”
Um estudo sobre verificação formal de sistemas concorrentes
Dissertação
2
3
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
4
Assuntos:
“...Linguagem de programação...”
Funções sobrecarregadas como objeto de primeira classe
Dissertação
5
Assuntos:
“...Linguagem de Programação...”
Protocolo conservativo CMB para simulação distribuida
Dissertação
6
Assuntos:
“...Linguagem de programação (Computadores) - Semântica...”
Especificação formal e implementação de um protótipo para a linguagem ParaLog
Dissertação
7
Assuntos:
“...COBOL (Linguagem de programação de computador)...”
Suporte ao teste de programas COBOL no ambiente POKE-TOOL
Dissertação
8
Assuntos:
“...Linguagem de programação (Computadores)...”
"Lambda" PROLOG : interpretador e unificação de ordem superior
Tese
9
Assuntos:
“...Linguagem de programação (Computadores)...”
Experimentos com codificação e compactação no gerenciamento de memoria da maquina virtual java
Dissertação
10
Assuntos:
“...Java (Linguagem de programação de computador)...”
Compilação de bytecodes Java para um ambiente de arquitetura reconfigurável
Dissertação
11
Assuntos:
“...Linguagem De Programação...”
Detecção dinâmica de condições de disputa para programas 'multi threaded' em JAVA
Dissertação
12
Assuntos:
“...Linguagem De Programação...”
Linguagens de implementacao de sistemas e a linguagem 'lapa'
Dissertação
13
Assuntos:
“...Linguagem de programação (Computadores)...”
Implementação de um ambiente computacional para ensino à distância
Dissertação
14
Assuntos:
“...Linguagem de programação (Computadores)...”
Uma formalização da composicionalidade do cálculo lambda-ex em Coq
Dissertação
15
Assuntos:
“...Linguagem de programação...”
Sherlock N-Overlap: normalização invasiva e coeficiente de sobreposição para análise de similaridade entre códigos-fonte em disciplinas de programação
Dissertação
16
Assuntos:
“...LOTOS (Linguagem de programação de computador)...”
Um simulador para validação de sistemas dependentes de tempo descritos em RT-LOTOS
Dissertação
17
Assuntos:
“...Linguagem de programação (Computadores)...”
Projeto e implantação de LL : uma linguagem de bibliotecas baseada em objetos
Dissertação
18
Assuntos:
“...Linguagem de programação (Computadores)...”
Uma maquina virtual para ADA num sistema com multiplos processadores
Dissertação
19
Assuntos:
“...Linguagem de programação (Computadores)...”
Editor topologico para a linguagem de especificação de computações LegoShell
Dissertação
20
Assuntos:
“...Linguagem de programação (Computadores)...”
Um sistema baseado em conhecimento para configuração e supervisão de algoritmos de controle adaptativo
Dissertação