|
1.
|
Utilizando contratos JML para optimizar diseños orientado a objetos siguiendo MDA Uva, Marcelo - Frutos, Mariana - Gonzaléz, Ariel - Arsaute, Ariel - Daniele, Marcela - Martellotto, Paola - Zorzán, Fabio
|
|
2.
|
Analizador Java Inteligente López De Luise, María Daniela - Agüero, Martín Jorge
|
|
3.
|
Verificación estática de confidencialidad en un sistema de múltiples niveles de seguridad basado en Java bytecode Medel, Ricardo - Martínez Spessot, Cesar Ignacio - Vázquez, Juan C. - Giagante, Ignacio
|
|
4.
|
Ferramenta de apoio ao teste de aplicações java baseada em reflexão computacional Silveira, Fábio Fagundes - Price, Ana Maria de Alencar
|
|
5.
|
Software de gerenciamento para pesagem automatizada de bovinos da Embrapa Gado de Corte utilizando a balança de passagem Coimma/Embrapa. RODRIGUES FILHO, J. R. - SANTOS NETO, Q. I. dos
|
|
6.
|
Using Exception Handling to Build Opaque Predicates in Intermediate Code Obfuscation Techniques Dolz, Daniel - Parra, Gerardo
|
|
7.
|
An e-learning application based on the semantic web technology Gradinarova, Boyka - Gradinarova, Milena - Zhelezov, Ognjan
|
|
8.
|
Uso do software livre Solr para construção da camada de indexação e busca do módulo de consulta institucional do sistema Ainfo. NASCIMENTO, A. E. M. do - VACARI, I.
|
|
9.
|
Análisis y desarrollo del sistema informático para administración y facturación de un restaurante Erazo López, Inés Alexandra - Sandobalín Guamán, Julio César
|
|
10.
|
Hint: A planning-based tool for framework instantiation Trilnik, Federico - Díaz Pace, J. Andrés
|
