El “Sistema Informático de Control de Contabilidad de la Cámara de Comercio de
Ambato para Optimizar el Tratamiento de la Información”. Está enfocado hacia el control contable para realizar el análisis oportuno de los datos obtenidos durante el ejercicio contable.

TACO es una herramienta para realizar verificación formal de programas, que permite detectar bugs en los mismos. Esta traduce un programa escrito en lenguaje Java y su especificación en JML a la notación DynAlloy, para luego analizar la especificación obtenida…

Todos los auditores necesitan la actualización de las herramientas para auditar y responder a las necesidades de los clientes que necesariamente deben contar con una metodología de seguridad.

En base a las necesidades que tienen los auditores de…

El presente proyecto de titulación tiene como objetivo, desarrollar una aplicación en lenguaje de
programación Java, que permita el envío de publicidad visual a teléfonos celulares; cuyas características
técnicas faciliten la visualización de los mensajes multimedia (imágenes, videos y gifs).

El presente proyecto de titulación está orientado a desarrollar un software con una interfaz visual de escritorio que permita obtener datos estadísticos y gráficos del tráfico de la conexión a Internet, diferenciando hosts, puertos y protocolos, que pueda ser ejecutada…

En las materias introductorias de programación es fundamental lograr que los alumnos puedan adquirir habilidades para resolver problemas mediante el diseño de algoritmos y su posterior implementación en un lenguaje determinado. Existen actualmente distintas herramientas tecnológicas que permiten el diseño…