PROGRAMA DE LA JORNADA

09:45	Inscripción
10:00	Conferencia Invitada Contratos en Ada 2012. José Ruiz AdaCore
11:30	Descanso
12:00	Sesión 1 Incorporación del DFP al lenguaje Ada. Mario Aldea, Alan Burns, Marina Gutiérrez y Michael González Harbour Universidad de Cantabria Añadiendo un Soporte Eficiente para Sistemas Multiprocesadores al lenguaje Ada 2012. Sergio Sáez, Jorge Real y Alfons Crespo Universidad Politécnica de Valencia
13:00	Comida
15:00	Sesión 2 Software embarcado del microsatélite UPMSat-2. Juan Zamorano, Alejandro Alonso, Emilio Salazar, Ángel Esquinas, Jorge Garrido, Daniel Brosnan, Peter Bradley y Juan Antonio de la Puente Universidad Politécnica de Madrid Un entorno de desarrollo basado en modelos para sistemas de tiempo real con requisitos de seguridad. Emilio Salazar, Alejandro Alonso, Miguel Ángel de Miguel y Juan Antonio de la Puente Universidad Politécnica de Madrid Generación de código Ada con UML MARTE. Alejandro Pérez y Julio Medina Uso de middleware de distribución en sistemas particionados. Héctor Pérez y J. Javier Gutiérrez
17:00	Fin de la Jornada Técnica Descanso
18:00	Asamblea General de la Asociación Ada-Spain