Search
Now showing items 21-23 of 23
Nivel de desarrollo de la verificación formal
(2016)
Los métodos formales se utilizan mayoritariamente para especificar y validar productos de software crítico, y poco a poco comienzan a penetrar la Ingeniería del Software tradicional para el desarrollo de aplicaciones de ...
Auditoría eficaz desde los datos
(Instituto Tecnológico Metropolitano, 2016)
La auditoría corporativa contribuye de manera eficaz al fortalecimiento de todos los procesos corporativos, actuando con ética, transparencia, generando confianza, valor y facilitando el logro de los objetivos empresariales.
La ...
Diseño e implementación del sistema de gestión documental mediante la utilización de herramientas informáticas para el área de archivo de la empresa Conduantioquia
(Instituto Tecnológico Metropolitano, 2016)
El presente trabajo de grado, tuvo como finalidad identificar los procesos que se llevan a cabo en el área de archivo de la empresa Conduantioquia y poder determinar cómo estos procesos podían ser intervenidos de una manera ...