JISBD2009 XIV Jornadas de Ingeniería del Software y Bases de Datos
San Sebastián, 8-11 de septiembre de 2009
SISTEDES
Contacto  
Programa

Puede descargar el programa de mano: Abrir pdf pdf

  Martes 8 Miércoles 9 Jueves 10 Viernes 11
08:30-09:00 Registro
09:00-09:30 Talleres 1 Opening (30') Sesión 4: MDE Sesión 5: BBDDs Seseión 9: Valid./Mod. Concep Sesión 10: Calidad
09:30-10:00 Keynote 1: Jean Bezivin
10:00-10:30
10:30-11:00
11:00-11:30 Café
11:30-12:00 Talleres 2 Sesión 1: Verif/Pru. Tutorial.
Eclipse tools
4 MDE
Keynote 2: Don Batory Keynote3: Houari Sahraoui
12:00-12:30
12:30-13:00
13:00-13:30 Comida Clausura
13:30-14:00 Comida (*)
14:00-14:30
14:30-15:00
15:00-15:30 Talleres 3 Keynote PROLE-Rustan
Leino
Tutorial 2.
Análisis en LPS
Sesión 6:
Index
 
15:30-16:00
16:00-16:30
16:30-17:00 Café
17:00-17:30 Talleres 4 Sesión 2: G.
Proyectos
Sesión 3:
Requisitos
Sesión 7: LPS Sesión 8:
Ontol/Sem
17:30-18:00
18:00-18:30 Mesa redonda EU COST
18:30-19:00 Asamblea SISTEDES
19:00-19:30    
19:30-20:00  
20:00-20:30 Recepción
20:30-21:00 Cena Gala
...
13:30-24:00  

* Después de la comida se celebrará la red mujeres en informática.

1. Verificación y pruebas [Verif/Pru.] Moderador: José Riquelme

María José Suárez-Cabal, Claudio de la Riva and Javier Tuya.
Generación de Pruebas Basada en Restricciones para Consultas SQL (a.largo)
Iñaki Fernández de Viana, José Luis Arjona, José Luis Álvarez and Pedro Abad.
Selección de Características para Mejorar los Modelos de Verificación de Información en EAI (a.largo)
Elena Orta, Mercedes Ruiz and Miguel Toro.
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ón (a.largo)
Eugenia Díaz, Javier Tuya, Raquel Blanco and José Javier Dolado.
A tabu search algorithm for structural software testing (a.y.p.)
Eugenia Díaz, Marta Fernández de Arriba, Roberto López.
WebAVLTester: Una Herramienta de Pruebas Funcionales Automáticas para Formularios Web (demo)
Antonia Estero, Inmaculada Medina, Juan José Domínguez and Lorena Gutiérrez.
GAmera: una herramienta para la generación y selección mediante algoritmos genéticos de mutantes WS_BPEL (demo)

2. Gestión de Proyectos [Proy] Moderador: Felix Garcia Rubio

María Isabel Marante, Patricio Letelier and Francisco Suárez Grueso.
TUNE-UP: Seguimiento de proyectos software dirigido por la gestión de tiempos (a.largo)
Lornel Rivas, María Pérez, Luis Eduardo Mendoza and Anna Grimán.
Selección de Herramientas para la Gestión de Proyectos de Software en Pequeñas y Medianas Empresas (a.largo)
Orlando Avila-García, Adolfo Sánchez-Barbudo, Víctor Roldán, Carlos González, Antonio Estévez.
TEMPO: Una herramienta para la reutilización efectiva en la ingeniería de procesos software (demo)
Leticia González, Miguel R. Luaces.
Una aplicación Web para la Gestión Empresarial Orientada a Proyectos para PYMEs (demo)

Arriba

3. Requisitos/Ing. software empírica [Req] Moderador: Xavier Franch

Enrique Fernández, Oscar Dieste, Patricia Pesado and Ramon García-Martínez.
Pautas para Agregar Estudios Experimentales en Ingeniería del Software(a.largo)
José M. Conejero, Juan Hernández, Ana Moreira and Joao Araujo.
Adapting Software by Identifying Volatile and Aspectual Requirements (a.largo)
Francisca Pérez and Pedro Valderas.
A tool-supported natural requirements elicitation technique for pervasive systems centred on end-users (a.corto)

Arriba

4. MDE y Transformaciones [MDE] Moderador: Cristina Vicente-Chicote

Salvador Trujillo, Ander Zubizarreta, Josune de SOsa and Xabier Mendialdua.
On the Refinement of Model-to-Text Transformations (a.largo)
Hassan A. Sleiman, Abdul W. Sultán, Rafael Z. Frantz and Rafael Corchuelo.
Towards Automatic Code Generation for EAI Solutions using DSL Tools. (a.largo)
Carlos Blanco, Eduardo Fernández-Medina and Juan Trujillo.
Reingeniería sobre Almacenes de Datos Seguros aplicando ADM (a.largo)
Jose E. Rivera, Daniel Ruiz-Gonzalez, and Fernando Lopez-Romero and José María Bautista.
Wires*: A Tool for Orchestrating Model Transformations (demo)
Javier Luis Canovas and Jesus García.
Gra2MoL: Una herramienta para la extracción de modelos en modernización de software (demo)

Fernando Losilla, Pedro Sánchez, Bárbara Alvarez and Diego Alonso.
MoteGen: Una herramienta para el desarrollo de aplicaciones para redes de sensores. (demo)

Jesús Gallardo, Crescencio Bravo, Miguel Ángel Redondo.
Generación de herramientas de modelado colaborativo independientes del dominio (demo)
E. Victor Sánchezl, Orlando Avila-García, Pablo J. Hernández López, Salvador Martínez, Antonio Estévez.
ModelSET Component Framework: Refinando el ciclo de vida de MDA. (demo)
Artur Boronat, Jose Meseguer.
MOMENT2 EMF Model Transformations in Maude. (demo)

Arriba

5. BBDDs y Tecnologías de SGBD [BBDDs] Moderador: Nieves Brisaboa

Alejandro Bascuñana-Muñoz and Jesús Javier Arauz.
Philo: un Sistema experimental de Gestión de Bases de Datos distribuido en memoria de alto rendimiento (a.largo)
Jordi Pradel, Jose A. Raya and Xavier Franch.
Microsistemas de Información(a.largo)
David Dominguez-Sal, Mihai Surdeanu, Josep Aguilar-Saborit, Josep-Lluis Larriba-Pey.
Cache-aware load balancing for question answering (a.y.p.)
Jose-Norberto Mazón, Juan Trujillo.
An MDA approach for the development of data warehouses (a.y.p.)
Cristian I. Pinzón, Juan F. De Paz, Javier Bajo and Juan M. Corchado.
An Adaptive Mechanism to Protect Databases Against SQL Injection (a.corto)
Octavio Glorio, Jesús Pardillo, Paul Hernández, José Quinto, José-Norberto Mazón, Juan Trujillo.
Un Conjunto de plugins de Eclipse para el Diseño Multidimensional de Almacenes de Datos Dirigido por Modelos (demo)
Santiago Meliá, Jose-Javier Martinez, Álvaro Pérez and Jaime Gómez.
OOH4RIA Tool: Una Herramienta basada en el Desarrollo Dirigido por Modelos para las RIAs (demo)

Arriba

6. Recuperación de Información, Indexación y BD en Web [Index] Moderador: Rafael Corchuelo

Nieves R. Brisaboa, Miguel R. Luaces, Gonzalo Navarro and Diego Seco.
Indexación espacial de puntos empleando wavelet trees (a.largo)
Sandra Álvarez, Ana Cerdeira-Pena, Antonio Fariña and Susana Ladra.
Desarrollo de un compresor de textos orientado a palabras basado en PPM (a.largo)
Luis G. Ares, Nieves R. Brisaboa, Maria F. Esteller, Oscar Pedreira and Ángeles S. Places.
Reducción del Tamaño del Índice en Búsquedas por Similitud sobre Espacios Métricos (a.largo)
Nieves R. Brisaboa, Antonio Fariña, Susana Ladra, Gonzalo Navarro.
Reorganizing compressed text. (a.y.p.)
Josep Aguilar-Saborit, Mohammad Jalali, Dave Sharpe, Victor Muntés-Mulero.
Exploiting Pipeline Interruptions for Efficient Memory Allocation. (a.y.p.)

Arriba

7. Líneas de Producto [LPS] Moderador: Oscar Diaz

David Mellado, Eduardo Fernández-Medina and Mario Piattini.
Towards security requirements management for software product lines: a security domain requirements engineering process (a.y.p.)
Belén Magro, Jennifer Pérez and Juan Garbajosa.
A Software Product Line Definition for Validation Environments (a.y.p.)
Roberto Lopez Herrejon and José Eduardo Rivera.
Realizing Feature Oriented Software Development with Equational Logic: An Exploratory Study (a.corto)
Sonia Montagud and Silvia Abrahao.
Revisión Sistemática de Métricas de Calidad para Líneas de Productos Software (a.corto)
Rubén Fernández, Miguel A. Laguna, Jesús Requejo, Nuria Serrano.
FMT: Una herramienta de Modelado y Configuración de Líneas de Productos Software para MS Visual Studio. (demo)
Carlos Cetina, Pablo Trinidad, Vicente Pelechano, Antonio Ruiz-Cortés and David Benavides.
Moskitt FM and FAMA FW: Taking feature models to the next level (demo)

Arriba

8. Ontologías, Web semántica [Ontolg] Moderador: Alfredo Goñi

Alvaro E. Prieto and Adolfo Lozano-Tello.
WEAPON: Modelo de Workflow con Ontologías para Procesos Administrativos (a.largo)
Victoria Nebot and Rafael Berlanga.
Populating Datawarehouses with Semantic Data (a.largo)
Jon Iturrioz, Oscar Díaz, Sergio F. Anzuola.
Towards the Semantic Desktop: the seMouse approach (a.y.p.)
Ernesto Jimenez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks, and Rafael Berlanga.
Logic-based Ontology Integration using ContentMap (demo)
Carlos Rivero, David Ruiz, Rafael Corchuelo and José L. Arjona.
SPARQL Query Splitter: query translation between different contexts (demo)
José L. Álvarez, José L. Arjona, Agustín Domínguez and Nicolás Amador.
Annotator: Herramienta para la Anotación Semántica de Islas de Datos Amigables en la Web (demo)

Arriba

9. Validación/Modelado Conceptual [Mod] Moderador: Vicente Pelechano

David G. Rosado, Eduardo Fernandez-Medina and Javier Lopez.
Extensión UML para Casos de Uso Reutilizables en entornos Grid Móviles Seguros (a.largo)
Jesús Pardillo and Cristina Cachero.
Perfiles UML en el diseño de notaciones visuales (a.largo)
Anna Queralt, Ernest Teniente.
Decidable Reasoning in UML Schemas with Constraints (a.y.p.)
Clara Benac and Lars-Ake Fredlund.
Rigorous Software Development Using McErlang (demo)
Raquel Pau, Jordi Cabot and Ruth Raventós.
UMLtoSBVR: Una herramienta para la validación de modelos UML mediante SBVR (demo)
Irene Garrigos, Octavio Glorio, and Paul Hernández and Alejandro Mate.
Una Aplicación basada en Eclipse para la Personalización de Aplicaciones Web Dirigida por Modelos (demo)
Manuel Palomo, Antonio García,Alejandro Álvarez and Inmaculada Medina.
Takuan: generación dinámica de invariantes en composiciones de servicios web con WS-BPEL (demo)

Arriba

10. Calidad, Medición y Estimación de Productos y Procesos Software [Calidad] Moderador: Pere Botella

Manuel F. Bertoa, Maria Angeles Moraga, M. Carmen Morcillo and Coral Calero.
Un análisis de la Calidad en Uso de los Componentes Software utilizando Redes Bayesianas (a.largo)
Lilia Muñoz, Jesús Pardillo, José-Norberto Mazón and Juan Trujillo.
Validación empírica de medidas para procesos ETL en almacenes de datos (a.largo)
Astrid Duque, Joaquín Lasheras and Ambrosio Toval.
ECAPRIS: Metodología ágil de medición de calidad y productividad en Pymes (a.largo)
Carmen Moraga, Mª Ángeles Moraga, Coral Calero and Angélica Caro.
A Literature Review for Obtaining PDQM v.2.0 (a.corto)
Xavier Franch, Gemma Grau.
Towards a Catalogue of Patterns for Defining Metrics over i* Models (a.y.p.)
Beatriz Mora, Francisco Ruiz, Felix García.
SMT: Software Measurement Tool (demo)

Arriba

Mesa Redonda

"Oportunidades dentro del Esquema Europeo de Acciones COST"
Moderador: Juan Garbajosa (Representante español en el Comité de Dominio ICT).

Abrir pdfPdf_COST
Abrir pdfAcción COST: Pdf_IC0801
Abrir pdfAcción COST: Pdf_IC0803

Leyenda