[Todos] Charla de Borrachos - Cuarta Borrachera

[Diego Fernandez Slezak]

Charla de Borrachos - 4ta Borrachera 2006

Título: Alloy en su tinta
Disertante: Lic. Juan Pablo Galeotti y Lic. Mariano Moscato
Fecha: Viernes 02 de Junio de 2006
Cita: Aula 3 a las 15:30
URL: www.charladeborrachos.com.ar

Resumen:
¿Quién hubiera dicho que los simpáticos diagramas de Venn con los que
nuestras maestras nos acosaban seguirían significando algo luego de
tanto tiempo? ¿Son útiles para la ingeniería del software los modelos
basados en conjuntos y relaciones? En esta charla repasaremos algunos
trabajos que estamos realizando en el marco del grupo de Métodos
Formales Relacionales. En particular, el uso de la herramienta Alloy, y
algunas extensiones construidas por nosotros, para validar modelos
basados en relaciones y conjuntos.

Veremos como el uso de esta herramienta nos lleva a campos como la
generación automática de casos de tests, y la verificación tanto de
especificaciones, como código java "anotado" con invariantes, pre y post
condiciones.

---------------------------------------------------------------------

Con el objetivo de difundir las tareas de investigación que realizamos
dentro del departamento de computación, los estudiantes de doctorado
tenemos el agrado de invitar a la comunidad a un ciclo de charlas
informativas (no tradicionales) denominadas "Charla de Borrachos".

IMPORTANTE: No son necesarios conocimientos previos para comprender las
charlas.

Luego del exitoso camino transitado durante el 2004 y 2005, retomamos
estas reuniones con más fuerza que nunca. Para más infomación visiten
nuestra página: www.charladeborrachos.com.ar

En la 4ta edición del 2006 tendremos como disertante al Lic. Juan Pablo
Galeotti y al Lic. Mariano Moscato, quienes son doctorandos del
departamento.

La reunión se llevará a cabo el día Viernes 02 de Junio de 2006 en el
aula 3 (Pab I) a las 15:30 (descorchamos los vinos), 16:00 (charla). La
charla sera acompañada con una degustación de vinos de la casa y snacks.

Estan TODOS invitados a participar del evento.

Saludos
Comite Organizador de Charla de Borrachos (Choborra) 

-- 
No virus found in this outgoing message.
Checked by AVG Free Edition.
Version: 7.1.394 / Virus Database: 268.7.4/351 - Release Date:
29/05/2006