Resultado pesquisa

Faculdade de Filosofia, Letras e Ciências Humanas

2014

Miyazawa, Alvaro Heiji

Geração parcial de código Java a partir de especificações formais Z

Monteiro, Júlio de Lima do Rêgo

2008

Simulação de parcerias entre agentes: uma extensão do sistema PART-NET

Sistemas Digitais

Escola Politécnica

2004

Hanazumi, Simone

Geração de propriedades sobre programas Java a partir de objetivos de teste

Calcina Ccori, Pablo César

2015

Avaliação de desempenho do sistema de memória transacional de Clojure como biblioteca...

Durelli, Vinicius Humberto Serapilha

2011

Utilizando uma máquina virtual Java como apoio à atividade de teste de software

Ciências de Computação e Matemática Computacional

Instituto de Ciências Matemáticas e de Computação

2013

Goes, Claudio Eduardo

Reconstrução tri-dimensional de imagens obstétricas de ultra-som utilizando linguagem...

Engenharia Elétrica

Escola de Engenharia de São Carlos

2007

Guilhen, Stefan Neusatz

Um serviço de autorização Java EE baseado em certificados de atributos X.509

2008

Martins, Alexandre Locci

Teste e verificação formal do comportamento excepcional de programas Java

Matheus, Bruno Roberto Nepomuceno

2014

Sistema JAVA para gerenciamento de esquema CADx em mamografia

Processamento de Sinais e Instrumentação