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.
|
Formal specifications in component-based development Estevez, Elsa Clara - Fillottrani, Pablo Rubén
|
7.
|
A systematic approach to generate test cases based on combinations of information Sánchez, Marisa - Felder, Miguel
|
8.
|
Project line: formally specifying the domain of balanced scorecard Montejano, Germán Antonio - Uzal, Roberto - Riesco, Daniel Eduardo - Dasso, Aristides - Funes, Ana
|
9.
|
Spectra in taxonomic evidence in databases III Plastino, Ángel Luis - Orellana, Rosa Beatriz - Perichinsky, Gregorio
|
10.
|
Integrated environment of systems automated engineering Servetto, Arturo Carlos - García Martínez, Ramón - Perichinsky, Gregorio
|
11.
|
A Semi-Automatic Method for Ontology Mapping Perez, Laura Haide - Cechich, Alejandra - Buccella, Agustina
|
12.
|
Program slicing based on sentence executability Cavadini, Salvador V. - Cheda, Diego A.
|
13.
|
Software projects effort estimation using “use case points” method in the context of Project Management Body of Knowledge Montejano, Germán Antonio - Uzal, Roberto - Riesco, Daniel Eduardo - Debnath, Narayan C.
|
14.
|
A UML Profile for Documenting the Component-and-Connector Views of Software Architectures Anacleto, Valerio Adrián
|