Portal de la Universidad del Valle
Foto
Facultades y dependencias / Facultad de Ingeniería

Grupo de investigación en Ambientes Visuales de programación aplicativa - AVISPA

 

 

Objetivos

 

  • Diseñar modelos de procesos concurrentes que se integran diferentes paradigmas de programación y que representan adecuadamente los sistemas complejos. El interés del grupo es la verificación (posiblemente automatizado) de las propiedades fundamentales de los sistemas que se plantean en áreas tales como sistemas distribuidos, biología de sistemas, seguridad informática y música de ordenador.
  • Desarrollar formalismos y herramientas para modelar y resolver problemas de combinatoria, utilizando técnicas de programación por restricciones (concurrente). Estas herramientas pueden ser útiles en una amplia variedad de campos, incluyendo la planificación, asignación de recursos, la composición musical, entre muchos otros.
  • Concebir e implementar herramientas de software para apoyar la interacción multimedia, principalmente en herramientas basadas en restricciones y lenguajes. El grupo está particularmente interesado en el desarrollo de software que apoye el proceso de generar material musical complejo mientras que la promulgación de formas ricas de interacción musical.
  • Proponer metodologías y herramientas para la integración de los modelos formales dentro de la corriente principal de la construcción de software.


Contacto

Juan Francisco Díaz.

Teléfono ++57 2 3212100 - Ext: 2788>

edificio 331, espacio 2111

juanfco.diaz@correounivalle.edu.co

Actualizado a: 09/01/2013

| XHTML Estándar | CSS Estándar |