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.
|
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.
|
3.
|
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
|
4.
|
Analizador Java Inteligente López De Luise, María Daniela - Agüero, Martín Jorge
|
5.
|
Ferramenta de apoio ao teste de aplicações java baseada em reflexão computacional Silveira, Fábio Fagundes - Price, Ana Maria de Alencar
|
6.
|
An e-learning application based on the semantic web technology Gradinarova, Boyka - Gradinarova, Milena - Zhelezov, Ognjan
|
7.
|
ECDIA: entorno colaborativo para el diseño e implementación de algoritmos Fracchia, Claudia Carina - Baeza, Natalia - Martins, Adair
|
8.
|
Software educativo para el aprendizaje de la óptica, Educational Software for Learning Optics Lobo, Hebert - Gutiérrez, Gladys - Rosario, Jesús - Briceño B., Jesús R. - Villarreal, Manuel - Díaz Araujo, Juan Carlos - Pacheco, Ana
|
9.
|
Hint: A planning-based tool for framework instantiation Trilnik, Federico - Díaz Pace, J. Andrés
|
10.
|
ModusXXI: An Atonal Melody Generator for Ear Training, Based on Lars Edlund'S Modus Novus Methodology Meave,A. - Orduña,F.
|