Itens para a visualização no momento 1-4 of 4

    • Análisis a la ventajas y desventajas de los escenarios en la elicitación de requisitos 

      Tascón Calvo, Ángela María; Domínguez Hernández, Francisco Orlando (Instituto Tecnológico Metropolitano, Facultad de Ingenierías, Ingeniero de Sistemas, 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 ...
    • Estado actual de la investigación y la experimentación en el desarrollo del razonamiento lógico 

      Montoya Atehortúa, Juliana; Bedoya Montes, Juan David (Instituto Tecnológico Metropolitano, Facultad de Ingenierías, Ingeniero de Sistemas, 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 ...
    • Nivel de desarrollo de la verificación formal 

      Ariza Vargas, Efilia; Ariza Vargas, Elizabeth (Instituto Tecnológico Metropolitano, Facultad de Ingenierías, Ingeniero de Sistemas, 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 ...
    • Semantic Web V.S. Deep. Web: mitos y realidades 

      Jiménez Vélez, Andrés Felipe; Villada Vásquez, Diego Alejandro (Instituto Tecnológico Metropolitano, Facultad de Ingenierías, Ingeniero de Sistemas, 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 ...