Presentación   Temas de interés   Comités   Conferencias Invitadas   Envío de trabajos   Artículos aceptados   Fechas importantes   Lugar de Celebración   Secretaría   JISBD 2006   Programa       Buscar       Todas las sesiones       Horario   NOVEDADES

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