Proyecto Tesis de Maestría: Integración de lógica lineal temporal sobre modelos de Arquitecturas de Software basadas en componentes especificadas a través del cálculo ρarq.
Edgar Fabián Ibañez Jiménez Código:
Marisol Márquez Gómez Código:
Proyecto Aplicación del modelo "KITE" para la valoración de calidad de productos de Software. Instrumentalización de listas de chequeo.
Johanna Marcela Guitérrez Meza Código:
Juan Camilo Mojica Pisciotti Código:
Proyecto Desarrollo de un prototipo de Software para la migración de datos e impresión de etiquetas sobre especímenes de la flora en el Instituto de Ciencias Naturales de la Universidad Nacional.
Miguel Ángel Guerrero Forigua Código:
Christian Javier Bonilla Herrera Código: Proyecto Integración de motores de orquestación de procesos de negocio y gestión de reglas de negocio a un sistema legado basado en componentes. Caso de estudio SOA-FenixSGA.