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.
|
Proyecto de desarrollo de un sistema de control de flotas de vehículos Toloza, Juan Manuel - Acosta, Nelson
|
4.
|
Implementando ayuda dinámica en la plataforma eclipse Vanrell, Juan Ángel - Vaucheret, Claudio A.
|
5.
|
Plug-in de eclipse para un Sistema Prolog de código abierto Vanrell, Juan Ángel - Vaucheret, Claudio A.
|
6.
|
Sistema de Simulación de Transformación Lluvia-Caudal (SSTLC) Rosario San Miguel, María del - Pérez, Martín - Zamanillo, Eduardo A.
|
7.
|
Computing support for virtual communities of practice Casalini, María Clara - Estevez, Elsa Clara - Janowski, Thomas
|
8.
|
STALlion: a simple typed assembly language for static analysis Nordio, Martín - Bavera, Francisco - Medel, Ricardo - Aguirre, Jorge - Baum, Gabriel Alfredo
|
9.
|
Extensão da UML para modelagem orientada a aspectos baseada em aspectj Steinmacher, Igor - Lima, José Valdeni de
|
10.
|
Proyecto Cursores Palomares, Luis Alfonso - Romero, Alexis Emmanuel - Ryckeboer, Hugo Emilio - Spositto, Osvaldo Mario
|