Buscas alternativas:
programa java » programacao java (Expandir a busca), programa jovem (Expandir a busca), programa amapa (Expandir a busca)
programa java » programacao java (Expandir a busca), programa jovem (Expandir a busca), programa amapa (Expandir a busca)
1
2
3
Assuntos:
“...Java...”
Teste e verificação formal do comportamento excepcional de programas Java
Dissertação
4
Assuntos:
“...Java para tempo real...”
Uma metodologia para análise de fluxo de programas Java para tempo real
Dissertação
5
6
Assuntos:
“...Java (Linguagem de programação de computador)...”
Transformações de programa para suportar a evolução da linguagem Java
Dissertação
7
Assuntos:
“...Java (Linguagem de programação de computador)...”
Um modelo de execução para Java no processador Cell BE
Dissertação
8
Assuntos:
“...Compiladores (Programas de computador)...”
Uma implementação distribuida da Maquina Virtual JAVA visando o compartilhametno do compilador "just-In-Time"
Dissertação
9
“... técnica. Visando a preencher essa lacuna, uma ferramenta para apoio ao teste funcional de programas Java...”
"Uma ferramenta baseada em aspectos para apoio ao teste funcional de programas Java"
Dissertação
10
Assuntos:
“...Especificação de programas...”
Geração de propriedades sobre programas Java a partir de objetivos de teste
Tese
11
“... de detectar dinamicamente e existência de condições de disputa em programas Java. Ladybug rescreve classes...”
Detecção dinâmica de condições de disputa para programas 'multi threaded' em JAVA
Dissertação
12
“... de propriedades para programas concorrentes Java. Para tanto, aplicamos um dos critérios baseados no fluxo...”
Um estudo sobre teste versus verificação formal de programas Java
Dissertação
13
Assuntos:
“...Java (Linguagem de programação de computador)...”
Análise do impacto na compreensão de programas Java com a introdução de expressões lambda
Dissertação
14
15
Assuntos:
“...Java (Linguagem de programação)...”
Execução distribuída de programas funcionais usando a máquina virtual java
Dissertação
16
Assuntos:
“...Programas Concorrentes...”
Uma técnica para modelagem e verificação de programas JAVA concorrentes auxiliada por anotações de código.
Dissertação
17
Assuntos:
“...Programas Concorrentes...”
Uma técnica para modelagem e verificação de programas JAVA concorrentes auxiliada por anotações de código.
Dissertação
18
Assuntos:
“...Java Threads...”
ALCSP: um complicador baseado em AspectJ para modularizar a programação concorrente em programas Java
Dissertação
19
Assuntos:
“...JAVA (Linguagem de programação de computador)...”
Uso da linguagem OCL no contexto de diagramas de classe da UML e programas em java
Dissertação
20
Assuntos:
“...Interpretadores (Programas de computador)...”
Tecnicas de otimização para o interpretador da K virtual machine
Dissertação