Martes, 3 de Octubre
|
|
08:00 - 09:00
Secretaría
|
|
|
09:00 - 11:00
Talleres
|
|
|
11:00 - 11:30
Pausa Café
|
|
|
11:30 - 13:30
Talleres
|
|
|
13:30 - 15:00
Comida
|
|
15:00 - 17:00
Talleres y Tutoriales
|
|
17:00 - 17:30
Pausa Café
|
|
|
17:30 - 19:30
Talleres y Tutoriales
|
|
Miercoles, 4 de Octubre
|
|
08:00 - 09:00
Secretaría
|
|
09:00 - 10:30
SESIONES
|
|
Sesión 1-a: Ingeniería de Procesos
|
WM1
Room: Rusiñol
Chair: Francisco Ruiz Gonzalez
|
Usabilidad en Entornos MDA: Propuesta y Estudio Empírico
S. Abrahao, E. Insfran, J. Vanderdonckt
Diagrama Gantt Extendido: Una Representación Gráfica de los Recursos Humanos
F.J. Ruiz-Bertol, J. Dolado
De Modelos de Proceso a Modelos Navegacionales
C. Solís, J.H. Canós, M. Llavador, M.C. Penadés
|
|
Sesión 1-b: Modelado de Datos I
|
WM2
Room: Arcadin
Chair: Nieves Rodríguez Brisaboa
|
Indexación de Datos SRTM de Elevación Terrestre. Algoritmos de Carga Masiva en el Árbol Q*
F. Rodríguez, M. Barrena
A Methodology for Vertical Integration over Biomedical Knowledge
E. Jiménez-Ruiz, R. Berlanga, I. Sanz, R. Danger
Modelado Multidimensional de Almacenes de Datos con MDA
J.N. Mazón, J. Pardillo, S. Meliá, J. Trujillo
|
|
PROLE Sesión 1: Semantics
|
WM3
Room: Astor
Chair: Jesús Almendros
|
A Functorial Framework for Constraint Normal Logic Programming
P. Lucio, F. Orejas, E. Pasarella, E. Pino
Relating Two Semantic Descriptions of Functional Logic Languages
F. López-Fraguas, J. Rodríguez Hortalá, J. Sánchez Hernández
A Set Oriented Calculus for Logic Programming
R. Caballero, Y. García-Ruiz, F. Sáenz-Pérez
|
|
|
10:30 - 11:00
Pausa Café
|
|
|
11:00 - 11:30
Inauguración de las Jornadas
|
|
11:30 - 12:45
Conferencia Invitada I
|
WMP
Room: Rusiñol
Chair: Isidro Ramos Salavert
|
Software Architecture: Past, Present and Future
D. Garlan
|
12:45 - 13:30
SESIONES
|
|
Sesión 2-a: Trabajos Cortos I
|
WA1
Room: Rusiñol
Chair: Juan C. Trujillo
|
Diseño de Modelos de Minería de Clasificación en Almacenes de Datos
J. Zubcoff, J. Trujillo
Ampliación de la Sintaxis y la Semántica de SQL para el Tratamiento de Datos Tipo Restricción
M.T. Gómez-López, R. M. Gasca
A Hypermedia Role-based Access Control Meta-Model
D. Sanz, P. Díaz, I. Aedo
|
|
Sesión 2-b: Trabajos Cortos II
|
WA2
Room: Arcadin
Chair: Ana M. Moreno
|
Integrando Modelos de Procesos y Activos Reutilizables en una Herramienta MDA
O. Avila-García, A. Estévez García, E.V. Sánchez Rebull, J.L. Roda García
Investigando los Beneficios de Pair Designing: Un Estudio Empírico con Profesionales
F. García, C. Visaggio, G. Canfora, M. Piattini
Experiencias en Integración de Métodos Cualitativos y Cuantitativos
M. Lázaro, E. Marcos, S. Vegas
|
|
PROLE Sesión 2: Implementation
|
WA3
Room: Astor
Chair: Victor Gulías
|
Optimización de las Primitivas de Reflexión ofrecidas por los Lenguajes Dinámicos
J.M. Redondo López, F. Ortín Soler, J.M. Cueva Lovelle
Formally Deriving a compiler for SAFE
R. Peña, C. Segura
|
|
|
13:30 - 15:00
Comida
|
|
15:00 - 16:30
Conferencia Invitada II
|
WAP
Room: Rusiñol
Chair: Germán Vidal
|
Program Transformation with Dynamic Rewrite Rules
E. Visser
|
|
16:30 - 17:00
Pausa Café
|
|
17:00 - 19:00
SESIONES
|
|
Sesión 3-a: Mantenimiento Software
|
WE1
Room: Rusiñol
Chair: Javier Tuya
|
Contención de Consultas con Valores Nulos usando el Método CQC
G. Rull, C. Farré, T. Urpí
Diseño Sistemático de Pruebas para Consultas XPath utilizando Técnicas de Partición
C. de la Riva, J. García-Fanjul, J. Tuya
Testeo de Software con Dos Técnicas Metaheurísticas
E. Alba, F. Chicano, S. Janson
Modelos y Algoritmos para la Generación de Objetivos de Prueba
J.J. Gutiérrez, M.J. Escalona, M. Mejías, J. Torres
|
|
Sesión 3-b: Modelado de Datos II
|
WE2
Room: Arcadin
Chair: Orlando Belo
|
Intensive Crossovers: Improving Quality in a Genetic Query Optimizer
V. Muntés-Mulero, J. Aguilar-Saborit, C. Zuzarte, J-L. Larriba-Pey
A Calculus and Algebra for Querying Directed Acyclic Graphs
S. Santini, A. Gupta
Especificación Declarativa del Reforzamiento de Restricciones de Asociaciones en Esquemas Conceptuales
P. Nieto, A. Santiago, D. Costal, C. Gómez
Extending ATSQL to Support Temporally Dependent Information
C. Martín, M.H. Böhlen, C. López
|
|
PROLE Sesión 3: Program Analysis
|
WE3
Room: Astor
Chair: Francisco J. López Fraguas
|
Towards a Dependency Pair Framework for Context-Sensitive Rewriting
B. Alarcón, R. Gutiérrez, S. Lucas
Term Dependence Graphs
D. Cheda, J. Silva, G. Vidal
Reduced Certificates for Abstraction-Carrying Code
E. Albert, P. Arenas, G. Puebla, M. Hermenegildo
Proving Termination of Context-Sensitive Rewriting with MU-TERM
B. Alarcón, R. Gutiérrez, J. Iborra, S. Lucas
|
|
|
20:00 - 22:00
Welcome Reception Palau Maricel
|
|
Jueves, 5 de Octubre
|
09:00 - 10:30
SESIONES
|
|
Sesión 4-a: Calidad
|
ThM1
Room: Rusiñol
Chair: Coral Calero Muñoz
|
Experience Measuring Maintainability in Software Product Lines
G. Aldekoa, S. Trujillo, G. Sagardui, O. Díaz
Herramienta de Soporte a la Valoración Rápida de Procesos Software
F. Pino, F. García, M. Piattini
Modelado y Simulación de la Evaluación Heurística de Usabilidad
N. Hurtado, M. Ruiz, J. Torres
|
|
Sesión 4-b: Generación Automática
|
ThM2
Room: Arcadin
Chair: Antonio Vallecillo Moreno
|
MCGen: Un Entorno para la Generación Automática de Compiladores de Modelos Específicos de Dominio
M. Llavador, J.H. Canós, P. Letelier, C. Solís
Definición de Operaciones Complejas con un Lenguaje Específico de Dominio en Gestión de Modelos
A. Gómez, A. Boronat, L. Hoyos, J.Á. Carsí, I. Ramos
Transformación de Modelos para el Desarrollo de Bases de Datos Objeto-Relacionales
J.M. Vara, B. Vela, J.M. Cavero, E. Marcos
|
|
PROLE Sesión 4: Narrowing
|
ThM3
Room: Astor
Chair: Salvador Lucas
|
Elimination of Extra Variables in Functional Logic Programs
J. de Dios Castro, F. López-Fraguas
Formal Properties of Needed Narrowing with Similarity Relations
G. Moreno, V. Pascual
A Proposal for the Cooperation of Solvers in Constraint Functional Logic Programming
S. Estévez-Martín, A.J. Fernández, T. Hortalá-González, M. Rodríguez-Artalejo, F. Sáenz-Pérez, R. del Vado-Vírseda
|
|
|
10:30 - 11:00
Pausa Café
|
|
11:00 - 12:30
Conferencia Invitada III
|
ThMP
Room: Rusiñol
Chair: Esperanza Marcos Martínez
|
Model Independent Schema and Data Translation
P. Atzeni
|
12:30 - 13:30
SESIONES
|
|
Sesión 5-a: Trabajos Cortos III
|
ThA1
Room: Rusiñol
Chair: Maria Jose Rodriguez Fortiz
|
Engineering Automated Negotiations
M. Resinas, P. Fernandez, R. Corchuelo
ROS: Servicio de Optimización Remota
E. Alba, J.G. Nieto, F. Chicano
Evolución de Sistemas orientados a Aspectos utilizando Patrones de Interacción
M. A Pérez Toledano, A. Navasa Martínez, J. M Murillo Rodríguez, C. Canal Velasco
Diseño de Primitivas de Reflexión Estructural Eficientes Integradas en SSCLI
J.M. Redondo López, F. Ortín Soler, J.M. Cueva Lovelle
|
|
Sesión 5-b: Trabajos Cortos IV
|
ThA2
Room: Arcadin
Chair: Antonio Ruiz Cortés
|
Towards a Methodology for Distributed Requirements Elicitation
G. Aranda, V. Vizcaíno, A. Cechich, M. Piattini
A Generic Core MOF Metamodel for AORE
P. Sánchez, J. Magno, A. Moreira, L. Fuentes, J. Araújo
Caracterización de Refactorizaciones para la Implementación en Herramientas
C. López, R. Marticorena, Y. Crespo
Revisión y agregación de Conocimiento Empírico acerca de Técnicas de Educción de Requisitos
A. Davis, O. Dieste, A. Hickey, N. Juristo, A. Moreno
|
|
PROLE Sesión 5: Databases
|
ThA3
Room: Astor
Chair: Ginés Moreno
|
A Constraint Deductive Database Language based on Hereditary Harrop Formulas
S. Nieva, F. Sáenz-Pérez, J. Sánchez-Hernández
XQuery within Logic Programming
J.M. Almendros Jiménez, A. Becerra-Terón, F. Enciso-Baños
|
|
|
13:30 - 15:00
Comida
|
|
15:00 - 16:30
Conferencia Invitada IV
|
ThAP
Room: Rusiñol
Chair: Fernando Orejas
|
Infinite Qualitative Simulations by Means of Constraint Programming
K. Apt
|
15:00 - 16:30
SESIONES
|
|
Sesión 5-c: Minería de Datos
|
ThR1
Room: Arcadin
Chair: José C. Riquelme Santos
|
Evaluating Maintenance Cost Computing Algorithms for Multi-Node OLAP Systems
J. Loureiro, O. Belo
Hybrid Evolutionary Data Analysis Technique for Environmental Modeling
J. Acosta, A. Nebot, J. Fuertes
RESOP: Un Método para la Reducción de Bases de Datos
I. Nepomuceno Chamorro, J.A. Nepomuceno Chamorro, R. Ruiz Sánchez
|
|
|
16:30 - 17:00
Pausa Café
|
|
17:00 - 18:30
SESIONES
|
|
Sesión 6-a: Arquitecturas Software I
|
ThE2
Room: Rusiñol
Chair: Juan Manuel Murillo Rodríguez
|
A Conceptual Framework for Automated Service Trading
P. Fernandez, M. Resinas, R. Corchuelo
A Semantic Formalization of UML-RT Models with CSP+T Processes Applicable to Real-Time Systems Verification
M.I. Capel, L.E. Mendoza, K. Benghazi, J.A. Holgado
Asignación Sistemática de Responsabilidades en una Arquitectura de Tres Capas
X. Franch, J. Pradel, J. Raya
|
|
Sesión 6-b: Ingeniería de Requisitos I
|
ThE3
Room: Arcadin
Chair: Natalia Juristo
|
Una Aproximación basada en Patrones para el Modelado Conceptual de Sistemas Cooperativos
J.L. Isla Montes, F.L. Gutiérrez Vela, P. Paderewski Rodríguez
Aplicación Práctica de un Proceso de Ingeniería de Requisitos de Seguridad
D. Mellado, E. Fernández-Medina, M. Piattini
Disentangling Crosscutting in AOSD: Formalization based on a Crosscutting Pattern
J.M. Conejero, K. van den Berg, J. Hernández
|
|
PROLE Sesión 6: Verification
|
ThE4
Room: Astor
Chair: Ricardo Peña
|
Formal Sequentialization of Distributed Systems via Model Rewriting
M. Bertran, F. Babot, A. Climent
The Maude-NRL Protocol Analyzer: A Rewriting-Based Inference System for Equational Cryptographic Reasoning
S. Escobar, C. Meadows, J. Meseguer
GVERDI-R A Tool for Repairing Faulty Web Sites
M. Alpuente, D. Ballis, M. Falaschi, D. Romero
|
|
|
19:30 - 23:00
Visitas Cavas Codorniú y Cena del Congreso
|
|
Viernes, 6 de Octubre
|
09:30 - 11:30
SESIONES
|
|
Sesión 7-a: Ingeniería de requisitos II
|
FM1
Room: Rusiñol
Chair: Xavier Franch Gutiérrez
|
Validación de Modelos usando Escenarios y Prototipado Automático
A. Roche, P. Letelier, E. Navarro, M. Llavador
Hacia la Definición de un Perfil de UML 2.0 para Modelar Requisitos de Seguridad en Procesos de Negocio
A. Rodríguez, E. Fernández-Medina, M. Piattini
Propuesta de un Procedimiento de Selección de Técnicas de Educción de Requisitos
D. Carrizo, O. Dieste
A Survey on the Automated Analyses of Feature Models
D. Benavides, A. Ruiz-Cortés, P. Trinidad, S. Segura
|
|
Sesión 7-b: Arquitecturas Software II
|
FM2
Room: Arcadin
Chair: Rafael Corchuelo
|
Replicación Distribuida en Arquitecturas Software orientadas a Aspectos Utilizando Ambientes
N. Ali, J. Perez, C. Costa, I. Ramos, J.A. Carsi
Modularizing Framework Hot Spots using Aspects
A. Santos, A. Lopes, K. Koskimies
Organizational Architectural Styles Specification
C. Silva, J. Araújo, A. Moreira, J. Castro, F. Alencar, R. Ramos
Diseñando Patrones de Coordinación: de Solución Única a Patrón de Coordinación Candidato
P.L. Pérez-Serrano, M. Sánchez-Alonso
|
|
PROLE Sesión 7: Functional Languages
|
FM3
Room: Astor
Chair: Isabel Pita
|
Diseño de un Entorno integrado de Desarrollo para NiMo
S. Clerici, C. Zoltan, G. Prestigiacomo, J. García Sanjulián
Three New Algorithmic Debugging Strategies
J. Silva
Timed Concurrent Constraint Programming with Instantaneous Computations
M. Alpuente, B. Gramlich, A. Villanueva
VoDKA: Developing a Video-on-Demand Server using Distributed Functional Programming
V. Gulias, C. Abalde, D. Cabrero, M. Barreiro
|
|
|
11:30 - 12:00
Pausa Café
|
|
12:00 - 14:00
SESIONES
|
|
Sesión 8-a: Miscelánea Software
|
FA1
Room: Rusiñol
Chair: Oscar Diaz Garcia
|
La Incertidumbre como Herramienta en la Ingeniería de Software
N. Medinilla, I. Gutiérrrez
Un Perfil UML para la Definición de un Lenguaje Gráfico de Transformaciones basado en QVT
S. Meliá, J. Gómez, J.L. Serrano, J.N. Mazón
Generación de Aplicaciones Web basadas en Procesos de Negocio mediante Transformación de Modelos
V. Torres, V. Pelechano, P. Giner
Modelado de la Agregación de Portlets por medio de Statecharts
O. Díaz, A. Irastorza, M. Azanza, F. Villoria
|
|
PROLE Sesión 8: Program Transformation
|
FA2
Room: Astor
Chair: Marisa Navarro
|
Efficient Reductant Calculi by using Partial Evaluation Techniques with Thresholding
P. Iranzo, G. Moreno Valverde, J. Penabad Vázquez
Partial Inversion of First-Order Functional Programs
J. Almendros Jiménez, G. Vidal
Ensuring Termination of Narrowing-Driven Partial Evaluation using Size-Change Graphs
G. Arroyo, J. Guadalupe Ramos, J. Silva, G. Vidal
|
|
|
14:00 - 15:00
Asamblea de SISTEDES y Clausura
|
|
|
15:00 - 16:00
Comida
|
|
