Trabajo
Mi tarea en el proyecto5:
• Implementación y validación de la representación formal de búcles y
condicionales en escenarios complejos.
• Desarrollar un formalismo que permita representar tiempo flexible y
jerarquía.
• Portar lo anterior a un framework C++.
5Curso Bases Formales de la Computación, Programación Concurrente y
Distribuida, Matemáticas Discretas para Computación, Lógica en Ciencias de la
Computación, Inteligencia Artificial, Análisis y Diseño de Algoritmos, Desarrollo Formal
de Software, entre otras.
Jaime E. Arias Almeida Partituras Interactivas 17/19
17/19