Lugar: Aula 10. Facultad de Informática
9:00 – 10:30
Track: Verificación y Semántica de Servicios
Chair: María Valeria de Castro
- Una arquitectura para la evaluación de la calidad de las reglas de monitorización de composiciones WS-BPEL. Antonio García-Domínguez and Inmaculada Medina-Bulo.
- Towards Run-Time Verification of Compositions in the Web of Things using Complex Event Processing. Javier Cubo, Laura González, Antonio Brogi, Ernesto Pimentel and Raúl Ruggia.
- Análisis y especificación de propiedades en prueba metamórfica para WS-BPEL. M. Carmen De Castro and Inmaculada Medina-Bulo.
- Una experiencia real de anotación semántica a gran escala utilizando recursos de computación heterogéneos. Sergio Hernández, Estefanía Otero, Javier Fabra, Juan Carlos Vidal, Manuel Lama and Pedro Álvarez.
10:30-11:00 Coffee Break
11:00-12:30 Conferencia Invitada
Social Structures in Software Engineering
Hans van Vliet, VU University Amsterdam
Lugar: Aula 3. Facultad de Informática
Conjunción JCIS 2013 – JISBD 2013
12:45-14:15 Sesión Plenaria
14:15-16:00 Comida
16:00-17:30 Reunión de la “Red en Ciencias de los Servicios”
17:30 Clausura de las Jornadas JCIS’13
18:00 Mesa Redonda SISTEDES “Educación en Ingeniería del Software”
Lugar: Aula 3. Facultad de Informática
19:00 Asamblea SISTEDES
Lugar: Aula 11. Facultad de Informática