Ciencias Informáticas | (67) |
base de datos | (46) |
SOFTWARE ENGINEERING | (38) |
Base de Datos | (8) |
Data mining | (6) |
Más... |
Unversidad Nacional de La Plata | (70) |
RUA Docencia | (7) |
Revistas UNAM | (5) |
Acta Comportamentalia: Revista Latina de Análisis del Comportamiento | (1) |
Acta Universitaria | (1) |
Más... |
1.
|
Tool support for verifying applications using object-oriented patterns Aranda, Gabriela N. - Flores, Andrés P. - Buccella, Agustina - Reynoso, Luis A.
|
2.
|
Methods for measurement-based COTS assessments and selection Cechich, Alejandra - Piattini Velthuis, Mario
|
3.
|
An extension to EMTPL Cobo, María Laura - Falappa, Marcelo Alejandro
|
4.
|
A framework for defining and checking constraints in requirement gathering and definition Gómez, Rodolfo - Fillottrani, Pablo Rubén
|
5.
|
Moodelling of processes and formal methods Riesco, Daniel Eduardo - Montejano, Germán Antonio - Uzal, Roberto
|
6.
|
Towards the verification of RAISE specifications through Model Checking Perna, Juan Ignacio - George, Chris W.
|
7.
|
Analysis of two indexing structures for textual databases Marín, Mauricio - Bonacic, Carolina - Casas, Sandra
|
8.
|
Formal specifications in component-based development Estevez, Elsa Clara - Fillottrani, Pablo Rubén
|
9.
|
A systematic approach to generate test cases based on combinations of information Sánchez, Marisa - Felder, Miguel
|
10.
|
Enhancing UniArab with FunGramKB, Cómo mejorar UniArab con FunGramKB Periñán Pascual, Carlos - Mairal Usón, Ricardo
|