Herramientas de usuario

Herramientas del sitio


seminarios_de_metodos_formales:2010

Diferencias

Muestra las diferencias entre dos versiones de la página.

Enlace a la vista de comparación

Ambos lados, revisión anteriorRevisión previa
Próxima revisión
Revisión previa
seminarios_de_metodos_formales:2010 [2010/11/02 13:44] – Charla de Franco mpaganoseminarios_de_metodos_formales:2010 [2018/08/10 03:03] (actual) – editor externo 127.0.0.1
Línea 1: Línea 1:
 ====== CAChe! 2010 ====== ====== CAChe! 2010 ======
  
-** **+**reacTIVision: Interfaces de Usuario con Objetos del Mundo Real**
  
 Expositor: Franco Luque Expositor: Franco Luque
Línea 19: Línea 19:
 En esta charla/tutorial/demo presentaré la instalación básica del framework, la API de programación y algunos ejemplos muy básicos de uso. En esta charla/tutorial/demo presentaré la instalación básica del framework, la API de programación y algunos ejemplos muy básicos de uso.
  
 +[[http://vimeo.com/16428540|Video de la charla]] {{:seminarios_de_metodos_formales:franco-luque:slides.pdf|Presentación}}
  
 **Abstraccion por Predicados para Especificaciones DynAlloy** **Abstraccion por Predicados para Especificaciones DynAlloy**
seminarios_de_metodos_formales/2010.1288705487.txt.gz · Última modificación: 2018/08/10 03:03 (editor externo)