1.
|
Towards the verification of RAISE specifications through Model Checking Perna, Juan Ignacio - George, Chris W.
|
2.
|
Sincronización de datos entre aplicaciones sobre redes móviles Borda Luciani, Fabricio Damián - Gagliardi, Edilma Olinda - Hernández Peñalver, Gregorio
|
3.
|
LabAssistant: beneficios del uso de un lenguaje reflexivo en un sistema adaptable por el usuario Wolfmann, Aaron Gustavo Horacio
|
4.
|
Proyecto de desarrollo de un sistema de control de flotas de vehículos Toloza, Juan Manuel - Acosta, Nelson
|
5.
|
Un ambiente de programación para el procesador DLX Perna, Juan I. - Grosso, Alejandro - Berón, Mario
|
6.
|
Investigación básica y aplicada en bases de datos deductivas Liberatori, Héctor - Paganini, José Humberto - González, C. - Figueroa, Sebastián Marcos - Tejerina, Mario - Vega, Ariel - Castillo, C. - Battezzati, V.
|
7.
|
AJAX: un análisis tecnológico y posibilidades metodológicas Bazán, Patricia
|
8.
|
Proyecto Cursores Palomares, Luis Alfonso - Romero, Alexis Emmanuel - Ryckeboer, Hugo Emilio - Spositto, Osvaldo Mario
|
9.
|
Métodos de la ingenieria informatica avanzada Britos, Paola Verónica - García Martínez, Ramón - Diez, Eduardo - Ochoa, María Alejandra - Merlino, Hernán - Fernández, E. - Rancan, Claudio
|
10.
|
Mapeando modelos conceituais dimensionais OO para modelos lógicos dimensionais relacionais Carvalho, Rogerio Atem de - Tanaka, Asterio K. - Colonese, Giovanni
|