PROGRAMA DE LA JORNADA

10:00	Bienvenida, anuncios de la asociación, presentación del programa y presentación de la charla invitada Presenta: Alejandro Mosteo
10:05	Charla invitada Ada in Military Air platforms Presenta: José María Martínez, Airbus. An overview of the use of Ada language in existing air platforms developed in Airbus Defence and Space in Getafe within the communications area.
11:00	Descanso
11:10	Sesión 1 Presenta: Mario Aldea Generación automática de código basada en modelos para sistemas embebidos de microsatélites Hugo Valante, Universidad Politécnica de Madrid Generación Automática de Casos de Prueba a partir de Especificaciones en SPARK Gabriel Olea, Manuel Capel (Universidad de Granada), Samuel Jiménez (SATIXFY LTD.)
12:00	Descanso
12:10	Sesión 2 Presenta: Jorge Garrido El gestor de paquetes Alire para Ada y SPARK: Novedades en la v2.0 Alejandro Mosteo, Universidad de Zaragoza Sistema de análisis de software automático basado en ejecución simbólica de código fuente Ada Mario García Pérez, Camino Fernández Llamas y Ricardo J. Rodríguez, Universidad de León
13:00	Anuncio de resultados del premio y despedida Presenta: Juan Carlos Ruano y Alejandro Mosteo