|
1.
|
Towards the verification of RAISE specifications through Model Checking Perna, Juan Ignacio - George, Chris W.
|
|
2.
|
Metodología para especificación de requisitos en proyectos de explotación de información Pollo Cattaneo, María Florencia - Britos, Paola Verónica - Pesado, Patricia - García Martínez, Ramón
|
|
3.
|
Proyecto de desarrollo de un sistema de control de flotas de vehículos Toloza, Juan Manuel - Acosta, Nelson
|
|
4.
|
Entornos para usar BPM en aplicaciones JAVA: un análisis comparativo Díaz, Javier F. - Bazán, Patricia - Queiruga, Claudia Alejandra - Gotelli, Héctor Gabriel - Rodríguez, Facundo Martín
|
|
5.
|
LabAssistant: beneficios del uso de un lenguaje reflexivo en un sistema adaptable por el usuario Wolfmann, Aaron Gustavo Horacio
|
|
6.
|
Participación de los usuarios en el proceso de desarrollo de software Estayno, Marcelo G. - Panizzi, Marisa D.
|
|
7.
|
Sincronización de datos entre aplicaciones sobre redes móviles Borda Luciani, Fabricio Damián - Gagliardi, Edilma Olinda - Hernández Peñalver, Gregorio
|
|
8.
|
Uma maneira de antecipar tarefas em um sistema gerenciador de workflow Steinmacher, Igor - Lima, José Valdeni de - Piaggio, Ana Vitória
|
|
9.
|
Módulo III: sistema soporte de scheduling de órdenes de producción Rossi, Pablo - Díaz, Clara - Fruttero, Pablo - Rico, Mariela - Galli, María Rosa - Chiotti, Omar Juan Alfredo
|
|
10.
|
Un ambiente de programación para el procesador DLX Perna, Juan I. - Grosso, Alejandro - Berón, Mario
|
