Programa General Martes

	Martes 18
8:00	8:00 - 9:00 Buses + Registro (Todo el día)
9:00	9:00 - 10:30 JISBD IWeb#1 CPR#1				9:00 - 10:30 PROLE #S1				9:00 - 10:30 JCIS #S1
10:00
	10:30 - 11:00 Café
11:00	11:00-12:30 JISBD CPR #2			11:00-12:30 PROLE #S2			11:00-12:30 JCIS #S2			11:00-12:30 @Turing - Ponencia (ICES)
12:00
	12:30 - 13:30 @Turing - Charla invitada Armando Fox (U. Berkeley, USA)
13:00
	13:30 - 15:00 Comida
14:00
15:00	15:00 - 16:30 JISBD IWeb#2 CPR#3				15:00 - 16:30 PROLE #S3				15:00 - 16:30 JCIS #Charla @Turing
16:00
	16:30 - 17:00 Café
17:00	17:00 - 18:30 JISBD IWeb#3 CPR#4 @Turing				17:00 - 18:30 PROLE #S4				17:00 - 18:30 JCIS #S3
18:00
	18:30 - 19:00 Buses Organización
19:00
20:00
	20:30 - 22:00 Visita Guiada
21:00
22:00	22:00 - 23:30 Ruta de Tapas
23:00

Alias	Nombre
JISBD2012	XVII Jornadas de Ingeniería del Software y Bases de Datos
PROLE2012	XII Jornadas sobre Programación y Lenguajes
JCIS2012	VIII Jornadas de Ciencia e Ingeniería de Servicios
@Turing	Actividades Turing

Track #2: Ingeniería Web, Interfaces de Usuario, Sistemas Colaborativos, Computación Ubicua (IWeb)

Miguel Sánchez Román, Beatriz Jimenez Valverde, Francisco Luis Gutiérrez Vela and Patricia Paderewski. Políticas de seguridad en sistemas workflow colaborativos. (Emergentes)

Joaquina Martin-Albo and Coral Calero. Redes Sociales: Estrategia de Marketing para la pequeña empresa. (Emergentes)

Jesus M. Hermida, Santiago Meliá, Andres Montoyo and Jaime Gomez. Sm4RIA Extension for OIDE: Desarrollo de Rich Internet Applications en la Web Semántica. (Herramientas)

Victor M. R. Penichet, Maria-Dolores Lozano and Jose A. Gallud, Ricardo Tesoriero. TOUCHE CASE Tool: A Task-Oriented and User-Centered Case Tool to Develop Groupware Applications. (Herramientas)

Miguel A. Teruel, Elena Navarro, Víctor López-Jaquero, Francisco Montero and Pascual Gonzalez. CSRML Tool: una Herramienta para el Modelado de Requisitos de Sistemas Colaborativos. (Regulares)

Natalia Padilla-Zea, Patricia Paderewski, Francisco Luis Gutiérrez Vela and Nuria Medina Medina. Una arquitectura para el desarrollo de videojuegos educativos con actividades colaborativas. (Regulares)

[ Inicio ] [ Programa General ] [ Lunes 17 ] [ Martes 18 ] [ Miércoles 19 ]


Track #4: Calidad, Pruebas y Requisitos (CPR)

Federico Leonardo Toledo, Beatriz Pérez Lamancha and Macario Polo. Enfoque dirigido por modelos para probar Sistemas de Información con Bases de Datos. (Regulares)

Raquel Blanco, Javier Tuya and Ruben V. Seco. Evaluación de la cobertura en la interacción usuario-base de datos utilizando un enfoque de caja negra. (Regulares)

Juan Jose Dominguez-Jimenez, Antonia Estero-Botaro, Antonio García-Domínguez and Inmaculada Medina-Bulo. Evolutionary Mutation Testing. (Relevantes)

Carmen R. Cutilla, Julian A. García-García and Javier J. Gutiérrez. una propuesta de priorización de casos de pruebas a partir de NDT. (Emergentes)

Silvio Cacace and Tanja Vos. Model-Based Testing in Early Software Development Phases. (Herramientas)

[ Inicio ] [ Programa General ] [ Lunes 17 ] [ Martes 18 ] [ Miércoles 19 ]

Lidia Sánchez Gil, Mercedes Hidalgo-Herrero and Yolanda Ortega- Mallén. A formalization of Launchbury's natural semantics for lazy evaluation in Coq.

Ignacio Castiñeiras and Fernando Saenz-Perez. Improving the Performance of FD Constraint Solving in a CFLP System.

David Duque and Laura M. Castro. Tecnología funcional en aplicaciones de televisión interactiva: acceso a redes sociales con Synthetrick.

[ Inicio ] [ Programa General ] [ Lunes 17 ] [ Martes 18 ] [ Miércoles 19 ]

Ruediger Gad, Juan Boubeta-Puig, Martin Kappes and Inmaculada Medina-Bulo. Leveraging EDA and CEP for Integrating Low-level Network Analysis Methods into Modern, Distributed IT Architectures.

Sergio Hernández, Javier Fabra, Pedro Álvarez and Joaquín Ezpeleta. Una solución SOA para ejecutar workflows científicos en entornos Grid heterogéneos.

Ricardo Jiménez, Marta Patino and Iván Brondino. CumuloNimbo: Una Plataforma como Servicio con Procesamiento Transaccional Altamente Escalable.

[ Inicio ] [ Programa General ] [ Lunes 17 ] [ Martes 18 ] [ Miércoles 19 ]






Track #4: Calidad, Pruebas y Requisitos (CPR)

Antonia Estero-Botaro, Juan Boubeta-Puig, Valentín Liñeiro-Barea and Inmaculada Medina-Bulo. Operadores de Mutación de Cobertura para WS-BPEL 2.0. (Regulares)

Lorena Gutiérrez-Madroñal, Juan José Domínguez-Jiménez and Inmaculada Medina-Bulo. Prueba de mutaciones sobre consultas de procesamiento de eventos en aplicaciones en tiempo real. (Regulares)

Marcos Palacios, José García-Fanjul and Javier Tuya. Testing in Service Oriented Architectures with dynamic binding: A mapping study. (Relevantes)

Sergio Segura, Robert M. Hierons, David Benavides and Antonio Ruiz-Cortés. Automated Metamorphic Testing on the Analysis of Feature Models. (Relevantes)

Ana Belén Sánchez and Sergio Segura. Automated testing on the analysis of variability-intensive artifacts: An exploratory study with SAT Solvers. (Emergentes)

[ Inicio ] [ Programa General ] [ Lunes 17 ] [ Martes 18 ] [ Miércoles 19 ]

Jose F. Morales, Rémy Haemmerlé, Manuel Carro and Manuel Hermenegildo. Lightweight Compilation of (C)LP to JavaScript.

David Insa, Josep Silva and César Tomás. Mejora del rendimiento de la depuración declarativa mediante compresión y expansión de bucles.

Alejandro Acosta, Francisco Almeida and Vicente Blanco. Paralldroid: a source to source translator for development of native Android applications.

[ Inicio ] [ Programa General ] [ Lunes 17 ] [ Martes 18 ] [ Miércoles 19 ]

Antonio García Domínguez and Inmaculada Medina Bulo. Un Método de Generación de Pruebas de Rendimiento para Múltiples Tecnologías desde Modelos UML con Anotaciones MARTE.

Juan Carlos Castillo Cano, Francisco Almeida, Vicente Blanco and María Carmen Ramírez Castillejo. Plataforma de computación genérica basada en servicios web para problemas de conteo de células.

Jorge Moratalla and Esperanza Marcos. Definición y Aplicación de un proceso de Modernización y Evolución al Sistema de Gestión de Nombres de Dominios “.es”.

Miguel A. González-Serrano, Diana Perez-Marin and Miren Idoia Alarcón. Clasificación de los Servicios Web de Negocio Corporativos basada en la Funcionalidad Horizontal de las Organizaciones.

[ Inicio ] [ Programa General ] [ Lunes 17 ] [ Martes 18 ] [ Miércoles 19 ]



@Turing

Ponencia

“ETLICES: Creación e innovación en la manipulación de datos”

[ Inicio ] [ Programa General ] [ Lunes 17 ] [ Martes 18 ] [ Miércoles 19 ]






Track #2: Ingeniería Web, Interfaces de Usuario, Sistemas Colaborativos, Computación Ubicua (IWeb)

Francy D. Rodríguez and Silvia T. Acuña. Implementación de una Solución Reutilizable para una Funcionalidad de Usabilidad. (Regulares)

Juan Antonio Pereira, Silvia Sanz, Inko Perurena and Julián Gutiérrez, Imanol Luengo. An experience migrating a Cairngorm based Rich Internet Application from Flex to HTML5. (Regulares)

Iñaki Fernández De Viana Y González, Pedro Abad, José Luis Arjona and José Luis Álvarez. Verificación de la información extraída por wrappers web usando algoritmos basados en colonias de hormigas. (Regulares)

Francisco Montero, Víctor López-Jaquero, Elena Navarro and Enriqueta Sánchez. Computer-Aided Relearning Activity Patterns for People with Acquired Brain Injury. (Relevantes)

Alejandro Catala, Javier Jaen, Betsy van Dijk and Sergi Jordà. Exploring Tabletops as an Effective Tool to Foster Creativity Traits. (Relevantes)

[ Inicio ] [ Programa General ] [ Lunes 17 ] [ Martes 18 ] [ Miércoles 19 ]


Track #4: Calidad, Pruebas y Requisitos (CPR)

César Jesús Pardo Calvache, Félix García, Francisco J. Pino, Mario Piattini and Maria Teresa Baldassarre. PrMO: An Ontology of Process-reference Models. (Regulares)

Albert Tort, Antoni Olivé and Maria-Ribera Sancho. An Approach to Test-Driven Development of Conceptual Schemas. (Relevantes)

Victor M. R. Penichet, Maria-Dolores Lozano, Jose A. Gallud and Ricardo Tesoriero. Requirement-based Approach for Groupware Environments Design. (Relevantes)

Emma Blanco-Muñoz, Antonio García-Domínguez, Juan Jose Dominguez-Jimenez and Inmaculada Medina-Bulo. GAmeraHOM: una herramienta de generación de mutantes de orden superior para WS-BPEL. (Herramientas)

Antonio García Domínguez, Antonia Estero Botaro, Juan José Domínguez Jiménez, Inmaculada Medina Bulo y Francisco Palomo Lozano. MuBPEL: una Herramienta de Mutación Firme para WS-BPEL 2.0. (Herramientas)

[ Inicio ] [ Programa General ] [ Lunes 17 ] [ Martes 18 ] [ Miércoles 19 ]

Fernando Saenz-Perez. Tabling with Support for Relational Features in a Deductive Database.

Rafael Caballero, Jose Luzon-Martin and Antonio Tenorio. Test-Case Generation for SQL Nested Queries with Existential Conditions.

Jesús M. Almendros-Jiménez, Alejandro Luna Tedesqui and Ginés Moreno. Debugging Fuzzy-XPath Queries.

[ Inicio ] [ Programa General ] [ Lunes 17 ] [ Martes 18 ] [ Miércoles 19 ]

Joan Pastor (Universitat Oberta de Catalunya). Investigación en Servicios.

[ Inicio ] [ Programa General ] [ Lunes 17 ] [ Martes 18 ] [ Miércoles 19 ]






Track #2: Ingeniería Web, Interfaces de Usuario, Sistemas Colaborativos, Computación Ubicua (IWeb)

Juan Carlos Preciado. Tutorial: Desarrollo Dirigido por Modelos en Ingeniería Web con Webratio y RUX-Tool. (Tutoriales)

[ Inicio ] [ Programa General ] [ Lunes 17 ] [ Martes 18 ] [ Miércoles 19 ]


Track #4: Calidad, Pruebas y Requisitos (CPR)

Federico Leonardo Toledo, Macario Polo and Beatriz Pérez Lamancha. Tutorial de Pruebas de Rendimiento. (Tutoriales)

[ Inicio ] [ Programa General ] [ Lunes 17 ] [ Martes 18 ] [ Miércoles 19 ]

Pablo Chico De Guzmán, Manuel Carro, Manuel Hermenegildo and Peter Stuckey. A General Implementation Framework for Tabled CLP.

Marco Comini, Laura Titolo and Alicia Villanueva. Abstract diagnosis for timed concurrent constraint programs.

Miquel Bofill Arasa, Joan Espasa Arxer, Miquel Palahí Sitges and Mateu Villaret. An extension to Simply for solving Weighted Constraint Satisfaction Problems with Pseudo-Boolean Constraints.

[ Inicio ] [ Programa General ] [ Lunes 17 ] [ Martes 18 ] [ Miércoles 19 ]

Laura Sánchez González, Francisco Ruiz and Félix García. Guías para el Modelado de Procesos de Negocio.

Andrea Delgado, Barbara Weber, Francisco Ruiz and Ignacio García - Rodríguez de Guzmán. A proposal on service execution measures for the improvement of business processes realized by services.

Clara Ayora, Victoria Torres and Vicente Pelechano. Feature Modeling to deal with Variability in Business Process Perspectives.

Adela Del Río Ortega, Cristina Cabanillas Macías, Manuel Resinas Arias de Reyna and Antonio Ruiz Cortés. PPINOT: A Tool for the Definition and Analysis of Process Performance Indicators.

[ Inicio ] [ Programa General ] [ Lunes 17 ] [ Martes 18 ] [ Miércoles 19 ]