 |
XIV Jornadas de Ingeniería del Software y Bases de Datos San Sebastián, 8-11 de septiembre de 2009 |
|
| Contacto | ||
|
XIV Jornadas de Ingeniería del Software y Bases de Datos San Sebastián, 8-11 de septiembre de 2009 |
|
| Contacto | ||
Puede descargar el programa de mano: 
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) |
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) |
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. |
|
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) |
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) |
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.) |
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) |
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) |
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) |
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) |
Mesa Redonda
"Oportunidades dentro del Esquema Europeo de Acciones COST"
Moderador: Juan Garbajosa (Representante español en el Comité de Dominio ICT).
Pdf_COST
Acción COST: Pdf_IC0801
Acción COST: Pdf_IC0803
Leyenda
