1.
|
Análisis modular y recuperación de contraejemplos en TACO Alborodo, Raúl - Ricci, Nicolás - Galeotti, Juan P. - Aguirre, Nazareno Matías
|
2.
|
Reasoning module interface design considerations Stankevicius, Alejandro G.
|
3.
|
Uso de LOTOS na gerência de segurança de aplicações distribuídas em JAVA Matos, Alexandre Veloso de - Gonçalves Riso, Bernardo - Notare, Mirela Sechi Moretti Anonni
|
4.
|
An object oriented approach for computer integrated building (CIB) modelling using java Zavalla, Eduardo - Martín, Marcelo
|
5.
|
Verificación modular de atomicidad en bytecode Java Multi-Thread Bavera, Francisco
|
6.
|
Un workflow basado en Java para la gestión documental Arsaute, Ariel - Aguirre, Gustavo Ignacio - Riesco, Daniel Eduardo
|
7.
|
Visualizador de animaciones flic en java Aguirre, Guillermo
|
8.
|
JBLIF, a tool for non-interference analysis of java and java bytecode programs Cavadini, Salvador V.
|
9.
|
Implementación de componentes multi-propósito y un entorno de desarrollo Ortega, Alfredo - Cerra, José P. - Rosanigo, Zulema Beatriz - Bramati, Pedro - Paur, Alicia Beatriz
|
10.
|
Sobre la construcción de compiladores en java Schmidt, Mariano - Parra, Gerardo
|