Buscar
Mostrando ítems 1-4 de 4
Estado actual de la investigación y la experimentación en el desarrollo del razonamiento lógico
(2016)
La ingeniería es tanto un arte como una ciencia, y para que los futuros profesionales de las areas de ingenierias, desplieguen las habilidades, destrezas, y capacidades necesarias para potencializar su ingenio y resolver ...
Análisis a la ventajas y desventajas de los escenarios en la elicitación de requisitos
(2016)
Debido a la creciente complejidad de los problemas que se pueden resolver mediante productos software, el desarrollo de este producto tecnológico ha tenido que innovar en técnicas y herramientas para responder a las ...
Semantic Web V.S. Deep. Web: mitos y realidades
(2016)
Cuando la mayoría de personas piensa en la Web hace referencia a la web visible, es decir, las páginas que pueden acceder directamente a través de enlaces o por medio de los motores de búsqueda comunes. Sin embargo esta ...
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 ...