PROLE 2015
Navarro, M. (Ed.), Actas de las XV Jornadas de Programación y Lenguajes (PROLE 2015). Santander, septiembre de 2015.
Navegación
- Conferencias
- Jornadas de Ingeniería del Software y Bases de Datos (JISBD)
- JISBD 2015 (Santander)
- JISBD 2016 (Salamanca)
- Arquitecturas del Software y Variabilidad
- Artículos Relevantes
- Calidad y Pruebas
- Comités
- Conferencia Invitada: Prof. Dr. Andrei Voronkov
- Desarrollo de Software Dirigido por Modelos
- Gestión de Datos
- Ingeniería del Software Guiada por Búsqueda
- Ingeniería Web y Sistemas Pervasivos
- Preliminares
- Proceso Software y Metodologías
- Tema Abierto
- Jornadas sobre Programación y Lenguajes (PROLE)
- PROLE 2015
- PROLE 2016 (Salamanca)
- 1. Prefacio
- 2. Índice
- 3. Charla invitada: Constraint-Based Testing: An Emerging Trend in Software Testing
- Sesión 02: Transformación y Optimización
- Sesión 05: Trabajos ya publicados (I)
- Sesión 07: Lenguajes y Semánticas
- Sesión 10: Trabajos ya publicados (II)
- Sesión 11: Tutoriales y Web
- Sesión 12: Lenguajes
- Sesión 13: Verificación y Análisis
- Jornadas de Ciencia e Ingeniería de Servicios (JCIS)
- Jornadas de Ingeniería del Software y Bases de Datos (JISBD)
- Documentos SISTEDES