| Ciencias Informáticas | (355) |
| base de datos | (327) |
| Informática | (19) |
| Software | (17) |
| Metrics | (16) |
| Más... |
|
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.
|
Agentes inteligentes para el soporte a la reutilización de software Campo, Marcelo - Ortigosa, Alvaro
|
|
4.
|
Frameworks para el desarrollo de sistemas multi-agentes Amandi, Analía - Valacco, Martín
|
|
5.
|
Traceability en la etapa de elicitación de requerimientos Antonelli, Rubén Leandro - Oliveros, Alejandro
|
|
6.
|
Proyecto de desarrollo de un sistema de control de flotas de vehículos Toloza, Juan Manuel - Acosta, Nelson
|
|
7.
|
Consultas a bases de datos expresadas con extensiones de FO Gagliardi, Edilma Olinda - Herrera, Norma Edith - Reyes, Nora Susana
|
|
8.
|
Using web-site QEM to measure the quality of sites Olsina Santos, Luis Antonio - Lafuente, Guillermo Javier - Lafuente, Gustavo - Rossi, Gustavo
|
|
9.
|
Implementando ayuda dinámica en la plataforma eclipse Vanrell, Juan Ángel - Vaucheret, Claudio A.
|
|
10.
|
Plug-in de eclipse para un Sistema Prolog de código abierto Vanrell, Juan Ángel - Vaucheret, Claudio A.
|
