Tipo Largo

Aplicación práctica de un proceso de ingeniería de requisitos de seguridad	
Daniel Mellado, Eduardo Fernández-Medina, Mario Piattini 

Models an algorithms for generating test objectives	
Javier Gutiérrez, María Escalona, Manuel Mejías, Jesús Torres 

A calculus and algebra for querying directed acyclic graphs	
Simone Santini, Amarnath Gupta 

Diagrama Gantt extendido: una representación gráfica de los recursos humanos	
Fran J. Ruiz-Bertol, Javier Dolado

Contención de consultas con valores nulos usando el método CQC	
Guillem Rull, Carles Farré, Toni Urpí 

Intensive crossovers: improving convergence and quality in a genetic query optimizer	
Victor Muntés-Mulero, Josep Aguilar-Saborit, Calisto Zuzarte, Josep-Lluís Larriba-Pey

Evaluating Maintenance Cost Computing Algorithms for Multi-Node OLAP Systems	
Jorge Loureiro, Orlando Belo 

Hybrid evolutionary data analysis technique for environmental modeling	
Jesús Sarmiento, Angela Castells, Josep Armengol 

Hacia la definición de un perfil de UML 2.0 para modelar requisitos de seguridad en procesos de negocio	
Alfonso Rodríguez, Eduardo Fernández-Medina, Mario Piattini 

Especificación declarativa del reforzamiento de restricciones de asociaciones en esquemas conceptuales	
Pilar Nieto, Antonio Santiago, Dolors Costal, Cristina Gómez 

Diseñando patrones de coordinación: de solución única a patrón de coordinación candidato	
Pedro Luis Serrano, Marisol Alonso

Definición de operaciones complejas con un lenguaje específico de dominio en Gestión de Modelos	
Abel Gómez, Artur Boronat, Luis Hoyos, José Carsí, Isidro Ramos

Asignación sistemática de responsabilidades en una arquitectura en tres capas	
Xavier Franch, Jordi Pradel, Jose Raya

Una Aproximación Basada en Patrones para el Modelado Conceptual de Sistemas Cooperativos	
Jose Luis Montes, Francisco Luis Vela, Patricia Rodríguez

Un perfil UML para la definición de un lenguaje gráfico de transformaciones basado en QVT	
Santiago Meliá, Jaime Gómez, Jose Serrano, Jose-Norberto Mazón

Replicación distribuida en arquitecturas software orientadas a aspectos utilizando ambientes	
Nour Ali, Jennifer Perez, Cristobal Costa, Isidro Ramos, Jose Carsi

Modelado multidimensional de almacenes de datos con MDA	
Jose Mazón, Jesús Pardillo, Santiago Meliá, Juan Trujillo

Testeo de Software con dos Técnicas Metaheurísticas	
Enrique Alba, Francisco Chicano, Stefan Janson

Modularizing framework hot spots using aspects	
André Santos, Antónia Lopes, Kai Koskimies

Herramienta de Soporte a la Valoración Rápida de Procesos Software	
Francisco Pino, Félix Garcia, Mario Piattini

Transformaciones de modelos para el desarrollo de bases de datos objeto-relacionales	
Juan Vara, Belén Vela, José Cavero, Esperanza Marcos 

Generación de Aplicaciones Web basadas en Procesos de Negocio mediante Transformación de Modelos	
Victoria Torres, Vicente Pelechano, Pau Giner

Modelado y simulación de la evaluación heurística de usabilidad	
Nuria Rodriguez, Mercedes Carreira, Jesús Valderrama

Organizational architectural styles specification	
Carla Silva, João Araújo, Ana Moreira, Jaelson Castro, Fernanda Alencar, Ricardo Ramos

Diseño sistemático de pruebas para consultas XPath utilizando técnicas de partición	
Claudio Álvarez, José Fanjul, Javier González

Modelado de la agregación de portlets por medio de statecharts	
Oscar Diaz, Arantza Irastorza, Maider Azanza, Felipe Villoria

De modelos de proceso a modelos navegacionales	
Carlos Solis, José Canós, Manuel Llavador, María Penadés 

Extending ATSQL to Support Temporally Dependent Information	
Carme Escofet, Michael Böhlen, Carlos Laserna

A conceptual framework for automated service trading	
Pablo Fernandez, Manuel Resinas, Rafael Corchuelo

A Methodology for Vertical Integration over Biomedical Knowledge	
Ernesto Jiménez, Rafael Berlanga, Ismael Sanz, Roxana Danger

Indexación de datos SRBM de elevación terrestre. Algoritmos de carga masiva en el árbol Q	
Félix Rodríguez Rodríguez, Manuel Barrena García

Experience measuring maintainability in software product lines	
Gentzane Aldekoa, Salvador Trujillo, Goiuria Sagardui, Oscar Diaz 

Propuesta de un procedimiento de selección de técnicas de educción de requisitos	
Dante Carrizo, Oscar Dieste, Natalia Juristo

Mcgen: un entorno para la generación automática de compiladores de modelos específicos de dominio	
Manuel Llavador, José Canós, Patricio Letelier, Carlos Solís

A survey on the automated analyses of feature models	
David Benavides, Antonio Ruiz-Cortes, Pablo Trinidad, Sergio Segura

Usabilidad en entornos MDA: propuesta y estudio experimental	
Silvia Abrahao, Emilio Insfran, Jean Vanderdonckt

A semantic formalization of UML-RT models with csp+t processes applicable to real-time systems verification	
Manuel Capel, Luis Mendoza Morales, Kawtar Benghazi Ahklaki, Juan Holgado Terriza

Validación incremental de modelos usando escenarios y prototipado automático	
Ángel Roche, Patricio Letelier, Elena Navarro, Manuel Llavador

Disentangling crosscutting in AOSD: formalization based on a crosscutting pattern.	
José María Conejero, Klaas van den Berg, Juan Hernández

La incertidumbre como herramienta de la ingeniería de software	
Nelson Marínez, Inmaculada Sordo

RESOP: Un método para la reducción de Bases de Datos	
Isabel Nepomucemo, Juan Nepomuceno, Roberto Ruiz

Tipo Corto

Investigando los beneficios de Pair Designing: un estudio empírico con profesionales	
Félix García, Corrado Visaggio, Gerardo Canfora, Mario Piattini

Diseño de primitivas de reflexión estructural eficientes integradas en SSCLI	
José Redondo López, Francisco Ortin Soler, Juan Cueva Lovelle

Towards a methodology for distributed requirement elicitation	
Gabriela Aranda, Aurora Vizcaíno, Alejandra Cechich, Mario Piattini 

Evolución de sistemas orientados a aspectos utilizando patrones de interacción	
Miguel Ángel Toledano, Amparo Martínez, Juan Manuel Rodríguez, Carlos Velasco

A Generic Core MOF Metamodel for AORE	
Pablo Sánchez, Jose Magno, Lidia Fuentes, Ana Moreira, Joao Araujo 

ROS: Servicio de Optimización Remota	
Enrique Alba, José Nieto, Francisco Chicano

Caracterización de refactorizaciones para la implementación en herramientas	
Carlos López, Raúl Marticorena, Yania Crespo

Ampliación de la sintaxis y la semántica de SQL para el tratamiento de datos tipo restricción	
María Gómez-López, Rafael M. Gasca 

Diseño de modelos de minería de clasificación en almacenes de datos	
Jose Zubcoff, Juan Trujillo

A hypermedia access control meta-model	
Daniel Sanz, Paloma Díaz, Ignacio Aedo 

Revisión y agregación de conocimiento empírico acerca de técnicas de educción de requisitos	
Alan Davis, Oscar Dieste, Ann Hickey, Natalia Juristo, Ana Moreno

Experiencias en integración de métodos cualitativos y cuantitativos	
María Lázaro, Esperanza Marcos, Sira Vegas

Engineering automated negotiations	
Manuel Resinas, Pablo Fernández, Rafael Corchuelo

Integrando modelos de procesos y activos reutilizables en una herramienta MDA	
Orlando Ávila, Antonio Estévez, José Roda