11.
|
Towards the verification of RAISE specifications through Model Checking Perna, Juan Ignacio - George, Chris W.
|
12.
|
Messaging infrastructure for Electronic Government: background, rationale, objectives Estevez, Elsa Clara - Janowski, Thomas - Fillottrani, Pablo Rubén
|
13.
|
Applying an ontology on data integration Buccella, Agustina - Cechich, Alejandra - Brisaboa, Nieves R.
|
14.
|
Evolution of product line architectures Amaolo, Marcelo Paulo
|
15.
|
Tool support for verifying applications using object-oriented patterns Aranda, Gabriela N. - Flores, Andrés P. - Buccella, Agustina - Reynoso, Luis A.
|
16.
|
Methods for measurement-based COTS assessments and selection Cechich, Alejandra - Piattini Velthuis, Mario
|
17.
|
An extension to EMTPL Cobo, María Laura - Falappa, Marcelo Alejandro
|
18.
|
A framework for defining and checking constraints in requirement gathering and definition Gómez, Rodolfo - Fillottrani, Pablo Rubén
|
19.
|
Moodelling of processes and formal methods Riesco, Daniel Eduardo - Montejano, Germán Antonio - Uzal, Roberto
|
20.
|
A data mining approach to computational taxonomy Perichinsky, Gregorio - García Martínez, Ramón
|