Hola,
Mañana miércoles 29 de junio a las 9:00 hs tenemos seminario.
En esta ocasión tendremos dos presentaciones:
1- Cristian Inthamoussu nos va a presentar avances en su trabajo de maestría, en la que se define un lenguaje para definir propiedades en el ambiente GeneXus.
2- Ariel Gonzalez nos va a presentar avances en su trabajo de doctorado, en el que se presenta un mecanismo que permite encontrar errores en sistemas de tiempo real basado en interpretaciones desviadas de las propiedades temporales.
saludos