19 de Septiembre

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