Sistema automatizado para el control y administración de carteras de inversión para los clientes de interacciones marcado de capitales s.a.
Sistema de captación e intermediación de instrumentos financieros para interacciones mercado de capitales, s.a.
Diseño de un sistema automatizado de información para el manejo de la cartera de producción de los corredores de seguros en Venezuela
Sistema automatizado para el control de reportes de fallas de equipos de la red de teleprocesos del Banco Provincial
Propuesta amigos del parque "El Encanto"
Desarrollo de un banco que permite el manejo de soluciones y experiencias en la verificación formal