1.
|
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
|
2.
|
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
|
3.
|
Ferramenta de apoio ao teste de aplicações java baseada em reflexão computacional Silveira, Fábio Fagundes - Price, Ana Maria de Alencar
|
4.
|
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
|
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.
|
Evaluación de la evolución del diseño en F/OSS: un caso de estudio Ramírez, Jorge - Gimson, Loraine - Gil, Gustavo Daniel
|
7.
|
Using Exception Handling to Build Opaque Predicates in Intermediate Code Obfuscation Techniques Dolz, Daniel - Parra, Gerardo
|
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.
|
Hint: A planning-based tool for framework instantiation Trilnik, Federico - Díaz Pace, J. Andrés
|
10.
|
ECDIA: entorno colaborativo para el diseño e implementación de algoritmos Fracchia, Claudia Carina - Baeza, Natalia - Martins, Adair
|