Fecha:"2009" |
Fecha:"2008" |
Fecha:"25z" |
Fecha:"2006" |
Fecha:"35" |
Idioma:"Inglés" |
Fecha:"11t14" |
Fecha:"2002" |
Fecha:"2007" |
Ciencias Informáticas | (37) |
SOFTWARE ENGINEERING | (20) |
base de datos | (18) |
Base de Datos | (6) |
Informática | (5) |
Más... |
Unversidad Nacional de La Plata | (40) |
RUA Docencia | (6) |
Ingeniería e investigación | (1) |
Universidad de los Andes Venezuela | (1) |
Más... |
1.
|
Towards the verification of RAISE specifications through Model Checking Perna, Juan Ignacio - George, Chris W.
|
2.
|
Tool support for verifying applications using object-oriented patterns Aranda, Gabriela N. - Flores, Andrés P. - Buccella, Agustina - Reynoso, Luis A.
|
3.
|
Using fuzzy sets to analyse personal preferences on groupware tools Aranda, Gabriela N. - Cechich, Alejandra - Vizcaíno, Aurora - Castro-Schez, José J.
|
4.
|
Taking advantages of ontology and contexts to determine similarity of data Buccella, Agustina - Cechich, Alejandra - Rodríguez Brisaboa, Nieves
|
5.
|
Computing support for virtual communities of practice Casalini, María Clara - Estevez, Elsa Clara - Janowski, Thomas
|
6.
|
A Methodology for Vertically Partitioning in a Multi-Relation Database Environment Gorla, Narasimhaiah
|
7.
|
Methods for measurement-based COTS assessments and selection Cechich, Alejandra - Piattini Velthuis, Mario
|
8.
|
An extension to EMTPL Cobo, María Laura - Falappa, Marcelo Alejandro
|
9.
|
A framework for defining and checking constraints in requirement gathering and definition Gómez, Rodolfo - Fillottrani, Pablo Rubén
|
10.
|
Moodelling of processes and formal methods Riesco, Daniel Eduardo - Montejano, Germán Antonio - Uzal, Roberto
|