Buscar
Mostrando ítems 31-40 de 212
Indicios experimentales respecto del uso técnicas tradicionales de elicitación de requisitos de software en ambientes de desarrollo distribuidos
(Universidad Autónoma de Bucaramanga UNAB, 2013-12-01)
Tipo de documento: Artículo
El proceso de desarrollo de software tiende, cada vez con un énfasis más marcado, a ser distribuido o global, donde los participantes se encuentran dispersos geográficamente. Este escenario obliga a prestar atención a tres ...
Módulo de unificación aritmética pre-hamburguesa y otras teorías decidibles
(Universidad Autónoma de Bucaramanga UNAB, 2001-12-01)
Tipo de documento: Artículo
Presentamos un algoritmo de unificación general módulo Presburger Arithmetic para una clase restringida de teorías especificadas modularmente donde los símbolos de función de la teoría objetivo tienen clases de codominio ...
Propuesta de Procedimiento para realizar pruebas de Caja Blanca a las aplicaciones que se desarrollan en lenguaje Python
(Universidad Autónoma de Bucaramanga UNAB, 2012-06-01)
Tipo de documento: Artículo
Uno de los mayores problemas que se afrontan en la esfera de la informática es la calidad de software. El proceso de pruebas al software (también conocido como beta testing) es uno de losaspectos fundamentales para medir ...
Algoritmos y sistemas de control borroso aplicados en una planta de calcinación de la industria de producción de níquel
(Universidad Autónoma de Bucaramanga UNAB, 2002-12-01)
Tipo de documento: Artículo
Los hornos rotatorios de calcinación constituyen procesos multivariables caracterizados por una gran incertidumbre y fuerte no linealidad en su comportamiento. Los principales objetivos del control en los mismos son ...
Análisis de la herramienta ITERAPLAN como soporte para la especificación del repositorio de arquitectura empresarial (TOGAF 9.1)
(Universidad Autónoma de Bucaramanga UNAB, 2013-06-01)
Tipo de documento: Artículo
El siguiente documento tiene como objetivo evaluar una herramienta de software libre que soporte la definición de una arquitectura empresarial siguiendo uno de los marcos de trabajo más usados como es TOGAF, se analizaran ...
Editorial
(Universidad Autónoma de Bucaramanga UNAB, 2010-06-01)
Tipo de documento: Artículo
La Universidad Autónoma de Bucaramanga UNAB y los miembros del comité editorial de la Revista Colombiana de Computación, tienen el placer de presentar a la comunidad científica esta nueva edición, la cual se constituye en ...
Modalidad práctica empresarial
(2015)
Tipo de documento: Trabajo de Grado
La práctica profesional en Industrias Lavco, se encuentra dirigida al manejo de personal de mantenimiento, específicamente en su proceso de dirección y coordinación en el desempeño de su labor. como en la actualización de ...
Reutilización de requisitos de usuario: el modelo mecano
(Universidad Autónoma de Bucaramanga UNAB, 2002-12-01)
Tipo de documento: Artículo
Los requisitos de un Sistema de Informaci ́on se presentan de muy diversas formas. Sualmacenamiento en un repositorio y las relaciones entre s ́ı y con otros elementos re-utilizables pueden condicionar el ́exito o fracaso ...
Heurísticas de búsqueda de prueba automática en la herramienta de análisis invariante de maude
(Universidad Autónoma de Bucaramanga UNAB, 2013-12-01)
Tipo de documento: Artículo
La herramienta Invariant Analyzer es una herramienta interactiva que mecaniza un sistema de inferencia para probar las propiedades de seguridad de los sistemas concurrentes, que pueden ser de estado infinito o cuyo conjunto ...
Desarrollo de software guiado por el descubrimiento del Conocimiento un aporte para el desarrollo de software de investigación
(Universidad Autónoma de Bucaramanga UNAB, 2012-06-01)
Tipo de documento: Artículo
El software de investigación en un contexto científi co es una aplicación que tiene por objetivo probar una técnica, simular un comportamiento de interés, apoyar la generación de un paper o lograr una patente. En defi ...