Table of Contents

• Advances in Model Driven EngineeringJean Bézivin. 3
• Stepwise Development of Streaming Software ArchitecturesDon S. Batory. 4
• Put the Horse before the Cart: Task-Driven Development of Software Visualization ToolsHouari A. Sahraoui. 5
• Generación de Pruebas Basada en Restricciones para Consultas SQLMaría José Suárez Cabal, Claudio de la Riva, Javier Tuya. 9-20
• Selección de Características para Mejorar los Modelos de Verificación de Información en EAIIñaki Fernández de Viana, José Luis Arjona, José Luis Álvarez, Pedro Abad. 21-32
• Análisis de los Efectos de las Políticas de Gestión de la Capacidad de los Servicios en el Cumplimiento de los SLAs utilizando SimulaciónElena Orta, Mercedes Ruiz, Miguel Toro. 33-44
• A tabu search algorithm for structural software testingEugenia Díaz, Javier Tuya, Raquel Blanco, José Javier Dolado. 45-45
• WebAVLTester: Una Herramienta de Pruebas Funcionales Automáticas para FormulariosWebEugenia Díaz, Marta Fernández de Arriba, Roberto López. 46-49
• GAmera: una herramienta para la generación y selección mediante algoritmos genéticos de mutantes WS-BPELAntonia Estero-Botaro, Inmaculada Medina-Bulo, Juan José Domínguez-Jiménez, Lorena Gutiérrez. 50-53
• TUNE-UP: Seguimiento de proyectos software dirigido por la gestión de tiemposMaría Isabel Marante, Patricio Letelier, Francisco Suárez. 57-68
• Selección de Herramientas para la Gestión de Proyectos de Software en Pequeñas y Medianas EmpresasLornel Rivas, María A. Pérez, Luis Eduardo Mendoza, Anna Grimán. 69-80
• TEMPO: Una herramienta para la reutilización efectiva en la ingeniería de procesos softwareOrlando Avila-García, Adolfo Sánchez-Barbudo, Víctor Roldán, Carlos González, Antonio Estévez. 81-84
• Una Aplicación Web de Gestión Empresarial Orientada a Proyectos para PYMEsLeticia González, Miguel Rodríguez Luaces. 85-88
• Pautas para Agregar Estudios Experimentales en Ingeniería del SoftwareEnrique Fernández, Oscar Dieste, Patricia Pesado, Ramón García-Martínez. 91-102
• Adapting Software by Identifying Volatile and Aspectual RequirementsJosé María Conejero, Juan Hernández, Ana Moreira, João Araújo. 103-114
• A Tool-supported Natural Requirements Elicitation Technique for Pervasive Systems centred on End-usersFrancisca Pérez, Pedro Valderas. 115-120
• On the Refinement of Model-to-Text TransformationsSalvador Trujillo, Ander Zubizarreta, Josune de Sosa, Xabier Mendialdua. 123-133
• Towards Automatic Code Generation for EAI Solutions using DSL ToolsHassan A. Sleiman, Abdul W. Sultán, Rafael Z. Frantz, Rafael Corchuelo. 134-145
• Reingeniería sobre Almacenes de Datos Seguros aplicando ADMCarlos Blanco, Eduardo Fernández-Medina, Juan Trujillo. 146-157
• Wires* : A Tool for Orchestrating Model TransformationsJosé Eduardo Rivera, Daniel Ruiz-González, Fernando López-Romero, José María Bautista. 158-161
• Gra2MoL: Una Herramienta para la Extracción deModelos en Modernización de SoftwareJavier Luis Cánovas Izquierdo, Jesús García Molina. 162-165
• MoteGen: Una herramienta para el desarrollo de aplicaciones para redes de sensoresFernando Losilla, Pedro Sánchez, Bárbara Álvarez, Diego Alonso. 166-169
• Generación de herramientas de modelado colaborativo independientes del dominioJesús Gallardo, Crescencio Bravo, Miguel A. Redondo. 170-173
• ModelSET Component Framework: Refinando el Ciclo de Vida de MDAE. Victor Sánchez Rebull, Orlando Avila-García, Pablo J. Hernández, Salvador Martínez, Antonio Estévez. 174-177
• MOMENT2: EMF Model Transformations in MaudeArtur Boronat, José Meseguer. 178-179
• Philo: un Sistema Experimental de Gestión de Bases de Datos Distribuido en Memoria de Alto RendimientoAlejandro Bascuñana Muñoz, Jesús Javier Arauz. 183-194
• Microsistemas de InformaciónJordi Pradel, José Raya, Xavier Franch. 195-206
• Cache-aware load balancing for question answeringDavid Dominguez-Sal, Mihai Surdeanu, Josep Aguilar-Saborit, Josep-Lluis Larriba-Pey. 207-207
• An MDA approach for the development of data warehousesJose-Norberto Mazón, Juan Trujillo. 208-208
• An Adaptive Mechanism to Protect Databases against SQL InjectionCristian Pinzón, Juan Francisco de Paz, Javier Bajo, Juan M. Corchado. 209-214
• Un Conjunto de plugins de Eclipse para el Diseño Multidimensional de Almacenes de Datos Dirigido por ModelosOctavio Glorio, Jesús Pardillo, Paul Hernández, Jose Quinto, Jose-Norberto Mazón, Juan Trujillo. 215-218
• OOH4RIA Tool: Una Herramienta basada en el Desarrollo Dirigido por Modelos para las RIAsSantiago Meliá, Jose-Javier Martinez, Álvaro Pérez, Jaime Gómez. 219-222
• Indexación espacial de puntos empleando wavelet treesNieves R. Brisaboa, Miguel Rodríguez Luaces, Gonzalo Navarro, Diego Seco. 225-236
• Desarrollo de un compresor de textos orientado a palabras basado en PPMSandra Álvarez, Ana Cerdeira-Pena, Antonio Fariña, Susana Ladra. 237-248
• Reducción del Tamaño del Índice en Búsquedas por Similitud sobre Espacios MétricosLuis González Ares, Nieves R. Brisaboa, María F. Esteller, Oscar Pedreira, Ángeles S. Places. 249-260
• Reorganizing Compressed TextNieves R. Brisaboa, Antonio Fariña, Susana Ladra, Gonzalo Navarro. 261-261
• Exploiting Pipeline Interruptions for Effcient Memory AllocationJosep Aguilar-Saborit, Mohammad Jalali, Dave Sharpe, Victor Muntés-Mulero. 262-263
• Towards security requirements management for software product lines: a security domain requirements engineering processDaniel Mellado, Eduardo Fernández-Medina, Mario Piattini. 267-267
• A Software Product Line Definition for Validation EnvironmentsBélen Magro, Jennifer Pérez, Juan Garbajosa. 268-268
• Realizing Feature Oriented Software Development with Equational Logic: An Exploratory StudyRoberto E. Lopez-Herrejon, José Eduardo Rivera. 269-274
• Revisión Sistemática de Métricas de Calidad para Líneas de Productos SoftwareSonia Montagud, Silvia Abrahão. 275-280
• FMT: Una Herramienta de Modelado y Configuración de Líneas de Productos Software para MS Visual StudioRubén Fernández, Miguel A. Laguna, Jesús Requejo, Nuria Serrano. 281-284
• Moskitt FM and FAMA FW: Taking feature models to the next levelCarlos Cetina, Pablo Trinidad, Vicente Pelechano, Antonio Ruiz Cortés, David Benavides. 285-288
• WEAPON: Modelo de Workflow con Ontologías para Procesos AdministrativosAlvaro E. Prieto, Adolfo Lozano Tello. 291-302
• Populating Data Warehouses with Semantic DataVictoria Nebot, Rafael Berlanga Llavori. 303-314
• Towards the Semantic Desktop: the seMouse approachJon Iturrioz, Oscar Díaz, Sergio Fernández Anzuola. 315-315
• Logic-based Ontology Integration using ContentMapErnesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks, Rafael Berlanga Llavori. 316-319
• SPARQL Query Splitter: query translation between different contextsCarlos R. Osuna, David Ruiz, Rafael Corchuelo, José Luis Arjona. 320-323
• Annotator: Herramienta para la Anotación Semántica de Islas de Datos Amigables en la WebJosé Luis Álvarez, José Luis Arjona, Agustín Domínguez, Nicolás Amador. 324-327
• Extensión UML para Casos de Uso Reutilizables en entornos Grid Móviles SegurosDavid G. Rosado, Eduardo Fernández-Medina, Javier López. 331-342
• Perfiles UML en el diseño de notaciones visualesJesús Pardillo, Cristina Cachero. 343-353
• Decidable Reasoning in UML Schemas with ConstraintsAnna Queralt, Ernest Teniente. 354-254
• Rigorous Software Development Using McErlangClara Benac Earle, Lars-Ã…ke Fredlund. 355-358
• UMLtoSBVR: Una herramienta para la validación de modelos UML mediante SBVRRaquel Pau, Jordi Cabot, Ruth Raventós. 359-362
• Una Aplicación basada en Eclipse para la Personalización de Aplicaciones Web Dirigida por ModelosIrene Garrigós, Octavio Glorio, Paul Hernández, Alejandro Mate. 363-366
• Takuan: generación dinámica de invariantes en composiciones de servicios web con WS-BPELManuel Palomo-Duarte, Antonio García-Domínguez, Alejandro Álvarez, Inmaculada Medina-Bulo. 367-370
• Un análisis de la Calidad en Uso de los Componentes Software utilizando Redes BayesianasManuel F. Bertoa, Maria Ángeles Moraga, M. Carmen Morcillo, Coral Calero. 373-386
• Validación empírica de medidas para procesos ETL en almacenes de datosLilia Muñoz, Jesús Pardillo, Jose-Norberto Mazón, Juan Trujillo. 387-398
• ECAPRIS: Metodología ágil de medición de calidad y productividad en PyMEs Astrid Duque, Joaquín Lasheras, José Ambrosio Toval Álvarez. 399-410
• A Literature Review for Obtaining PDQM v.2.0Carmen Moraga, Maria Ángeles Moraga, Coral Calero, Angelica Caro. 411-416
• Towards a Catalogue of Patterns for defining Metrics over i* ModelsXavier Franch, Gemma Grau. 417-417
• SMT: Software Measurement ToolBeatriz Mora, Francisco Ruiz, Félix García. 418-421
• Integración de Aplicaciones e Información Empresarial (ZOCO, 7ª edición)Rafael Corchuelo, David Ruiz, José Luis Álvarez, José Luis Arjona. 425-425
• Apoyo a la Decisión en Ingeniería del Software (ADIS, 9ª edición)José Cristóbal Riquelme Santos, Roberto Ruiz, Daniel Rodríguez. 426-426
• Pruebas en Ingeniería del Software (PRIS, 4ª edición)Claudio de la Riva, Peter Hodgson, Ewout van Driel, Fergus Flaherty, Juan Garbajosa, Luis Fernández, Macario Polo, Javier Tuya. 427-427
• Procesos de Negocio e Ingeniería de Servicios (PNIS, 2ª edición)Antonio Ruiz Cortés, Manuel Resinas, Francisco Ruiz, Félix García. 428-428
• Desarrollo de Software Dirigido por Modelos (DSDM, 6ª edición)José Raúl Romero, Orlando Avila-García, Vicente Pelechano. 429-429
• Análisis en líneas de productos: avances, desafíos y lecciones aprendidasDavid Benavides, Antonio Ruiz Cortés, Pablo Trinidad. 433-433
• Herramientas Eclipse para el Desarrollo de Software Dirigido por ModelosCristina Vicente-Chicote, Diego Alonso. 434-434