12. JISBD 2007: Zaragoza, Spain
Xavier Franch (Ed.): XII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2007), Zaragoza, Spain, September 11-14, 2007. Actas. Thomson Editorial 2007 ISBN 978-84-9732-595-0
Conferencias Invitadas
Stephen J. Mellor: Creativity, Automation and Technology. 15
John Mylopoulos: Goal-oriented Requirements Engineering. 17
Tutorial
Cristina Vicente-Chicote, Diego Alonso: Herramientas Eclipse para Desarrollo de Software Dirigido por Modelos. 21-21
Desarrollo de Software Dirigido por Modelos
Javier Luis Cánovas Izquierdo, Óscar Sánchez Ramón, Jesús Sánchez Cuadrado, Jesús García Molina: Utilidad de las transformaciones modelo-modelo en la generación automática de código. 31-40
Pau Giner, Victoria Torres, Vicente Pelechano: Building Ubiquitous Business Process following an MDD approach. 41-50
Giuliano Luz Pigatti Caliari, Paulo Sérgio Muniz Silva: A case study on modeling persistence with MDA tools. 51-59
Almacenes y Minería de Datos
Jose-Norberto Mazón, Enrique Ortega, Juan Trujillo: Ingeniería inversa dirigida por modelos para el diseño de almacenes de datos. 63-72
José Jacobo Zubcoff, Jesús Pardillo, Juan Trujillo: Minería de datos con clustering en espacios multidimensionales mediante modelos conceptuales extendiendo UML. 73-82
Emilio Soler, Juan Trujillo, Eduardo Fernández-Medina, Mario Piattini: Una extensión del metamodelo relacional de CWM para representar Almacenes de Datos Seguros a nivel lógico. 83-92
Pruebas del Software
José García-Fanjul, Javier Tuya, Claudio de la Riva: Generación sistemática de pruebas para composiciones de servicios utilizando criterios de suficiencia basados en transiciones. 95-104
Javier J. Gutiérrez, María J. Escalona, Manuel Mejías, Jesús Torres, Arturo Henry Torres-Zenteno: Generación automática de objetivos de prueba a partir de casos de uso mediante partición de categorías y variables operacionales. 105-114
Miguel Pérez-Francisco, Pablo Boronat Pérez: 370.000 bugs del proyecto Debian pueden ser analizados usando btsextract. 115-122
Tecnologias de Bases de Datos
Manuel Barrena García, Carlos Pachón, Elena Jurado: Búsqueda de vecinos en espacios multidimensionales agujereados. 125-133
Nieves R. Brisaboa, Antonio Fariña, Oscar Pedreira, Nora Reyes: Indexación dinámica para la recuperación de información basada en búsqueda por similitud. 134-143
Eduardo Rodríguez, Antonio Fariña, Ángeles S. Places, José R. Paramá, Oscar Pedreira: WCSA: Un autoíndice orientado a palabras para textos en lenguaje natural. 144-153
Líneas de Producto. Orientación a Aspectos
Miguel A. Laguna, Bruno González-Baixauli: Variabilidad, Trazabilidad y Líneas de Productos: una Propuesta basada en UML y Clases Parciales. 157-166
Jennifer Pérez, Cristóbal Costa Soria, José A. Carsí, Isidro Ramos: Verificación de Modelos Arquitectónicos Orientados a Aspectos. 167-176
Daniel Mellado, Eduardo Fernández-Medina, Mario Piattini: Gestión Integral de Requisitos de Seguridad en Líneas de Producto Software. 177-186
Requisitos. Metamodelado en Medición
Gabriela N. Aranda, Aurora Vizcaíno, Alejandra Cechich, Mario Piattini, Juan Pablo Soto: Una metodología para elicitación de requisitos en proyectos GSD. 191-200
Cristina Cachero, Emilio Insfrán, Silvia Abrahão, Geert Poels: Una Aproximación de Metamodelado para la Evaluación de Calidad en Procesos de Desarrollo Web. 201-210
Beatriz Mora, Félix García, Francisco Ruiz, Mario Piattini, Artur Boronat, Abel Gómez, José A. Carsí, Isidro Ramos: Marco de Trabajo basado en MDA para la Medición Genérica del Software. 211-220
Modelización Conceptual de Datos
Raquel Pau, Antoni Olivé: Definición, importancia y especificación en UML de las restricciones de integridad constante y permanente. 223-231
Daniel Sanz, Paloma Díaz, Ignacio Aedo: Towards Integration of Access Control in the Hypermedia Development Process. 242-251
Arquitecturas Software
Miguel A. Martínez-Prieto, Pablo de la Fuente, Carlos E. Cuesta: Diseño de Sistemas Groupware sobre una Arquitectura centrada en Servicios Cooperativos: Ágora. 255-264
Miguel A. Martínez-Prieto, Pablo de la Fuente, Jesús Vegas, Joaquín Adiego: Una Propuesta de Libro Electrónico basada en Composición de Responsabilidades sobre la Estructura Lógica. 265-274
Abel Gómez, Artur Boronat, Claudia Täubner, José A. Carsí, Isidro Ramos, Silke Eckstein: Recuperación y procesado de datos biológicos mediante Ingeniería Dirigida por Modelos. 275-284
Modelos de Calidad
Angelica Caro, Coral Calero, Mario Piattini: Evaluando la Calidad de los Datos en Portales Web. 287-296
Manuel A. Serrano, Rafael Romero, Jose-Norberto Mazón, Juan Trujillo, Mario Piattini: Una propuesta de un modelo conceptual de calidad de almacenes de datos. 297-306
Alejandro Gómez Cuesta, Gustavo Muñoz Gómez, Juan Carlos Granja: Evaluación de los niveles de calidad en las transformaciones de modelos basado en el estudio de factores de éxito. 307-314
Procesos
Daniel Cabrero Moreno, Javier Garzás, Mario Piattini: Técnica de Mejora del Mantenimiento Software Basada en Valor. 317-325
Francisco J. Pino, Juan Carlos Vidal, Félix García, Mario Piattini: Modelo para la Implementación de Mejora de Procesos en Pequeñas Organizaciones Software. 326-335
Alfonso Rodríguez, Eduardo Fernández-Medina, Mario Piattini, Juan Trujillo: Especificación de Procesos de Negocio Seguros a través de una extensión de UML 2.0. 336-345
Artículos Cortos

Salvador Trujillo, Gentzane Aldekoa, Goiuria Sagardui: Tracking the Evolution of Feature Oriented Product Lines. 355-360
Alfonso Rodríguez, Ignacio García, Eduardo Fernández-Medina, Mario Piattini: Transformaciones QVT para la obtención de Clases de Análisis a partir de un Modelo de Proceso de Negocio Seguro. 361-366
Raúl Marticorena Sánchez, Carlos López Nozal, Yania Crespo: Definición de un Proceso para la Construcción de Refactorizaciones. 367-372
Orlando Avila-García, Antonio Estévez García, E. Victor Sánchez Rebull, José Luis Roda García: Combinando Modelos de Procesos y Activos Reutilizables en una Transición poco Invasiva hacia las Líneas de Producto de Software. 373-378
Demostraciones
Pau Giner, Victoria Torres, Vicente Pelechano: Generation of Business Process based Web Applications. 381-382
Estefanía Serral, Carlos Cetina, Javier Muñoz, Vicente Pelechano: PervGT: Herramienta CASE para la Generación Automática de Sistemas Pervasivos. 383-384
Jordi Cabot, Robert Clarisó, Patricia de la Fuente, Daniel Riera: UMLtoCSP: Una herramienta para la verificación de modelos UML/OCL mediante Constraint Programming. 385-386
Oscar Romero, Alberto Abelló: MDBE: Una Herramienta Automática para el Modelado Multidimensional. 387-388
Abel Gómez, Artur Boronat, José A. Carsí, Isidro Ramos: MOMENT CASE: Un prototipo de herramienta CASE. 389-390
Manuel Clavel, Marina Egea, Viviane Torres da Silva: The MOVA Tool: A Rewriting-Based UML Modeling, Measuring, and Validation Tool. 393-394
Jesús Sánchez Cuadrado, Jesús García Molina: Demostración de la herramienta AGE (Agile Generative Environment). 395-396
Antonio Estévez García, E. Victor Sánchez Rebull, Francisco Vargas Ruiz, Orlando Avila-García, Adolfo Sánchez-Barbudo Herrera, José Luis Roda García: ModelSET: Soporte a Edición y Transformaciones de Modelos. 397-398
Cristina Vicente-Chicote, Diego Alonso, Bárbara Álvarez: StateML: modelado gráfico de máquinas de estados y generación de código siguiendo un enfoque MDE. 401-402
Cristina Vicente-Chicote, Diego Alonso, Olivier Barais: V3 Studio: Un entorno gráfico para el diseño de sistemas basados en componentes siguiendo un enfoque dirigido por modelos. 403-404
Cristina Vicente-Chicote, Begoña Moros, Ambrosio Toval: REMM-Studio: Un entorno integrado para dar soporte a un enfoque de Ingeniería de Requisitos Dirigido por Modelos. 405-406
José Eduardo Rivera, Francisco Durán, Antonio Vallecillo, José Raúl Romero: Maudeling: Herramienta de gestión de modelos usando Maude. 409-410
Santiago Meliá, Jaime Gómez, José Luís Serrano: WebTE: Generación de aplicaciones Web dirigida por modelos. 411-412
Victor M. Ruiz Penichet, María Dolores Lozano, José A. Gallud, Ricardo Tesoriero: CE4WEB: Una Herramienta CASE Colaborativa para el Modelado de Aplicaciones con UML. 413-414
Joaquín Peña, Antonio Ruiz Cortés: MaCMAS CASE Tool Demonstration: MDD-based refinement of Collaboration-Based UML Models. 415-416
Pablo Trinidad, David Benavides, Sergio Segura, Antonio Ruiz Cortés: FAMA: hacia el análisis automático de modelos de características. 417-418



