Buscar
Mostrando ítems 181-190 de 197
Sobre el longest common subsequence: extensiones y algoritmos
(Universidad Autónoma de Bucaramanga UNAB, 2007-12-01)
Tipo de documento: Artículo
Dadas dos palabras x e y sobre un alfabeto finito cualquiera, el problema
de la Longest Common Subsequence (LCS) en castellano Subsecuencia
Común Más Larga consiste, como su nombre sugiere, en encontrar cuál
es el largo ...
AMII: un prototipo para descubrir crosscutting concerns en sistemas legados
(Universidad Autónoma de Bucaramanga UNAB, 2010-06-01)
Tipo de documento: Artículo
El mantenimiento y evolución de sistemas legados es complejo y costoso. Surge la necesidad de contar con herramientas y técnicas que ayuden a los desarrolladores en estas tareas. Identificar crosscutting concerns (CCC) y ...
Un depurador abstracto, inductivo y paramétrico para programas multiparadigma
(Universidad Autónoma de Bucaramanga UNAB, 2004-12-01)
Tipo de documento: Artículo
Presentamos un marco general para el diagnóstico abstracto de programas lógico- funcionales, válido para diferentes estrategias de estrechamiento. Asociamos a cada programa una semántica por punto fijo que modela las ...
Editorial
(Universidad Autónoma de Bucaramanga UNAB, 2017-12-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 RCC, se complacen en presentar esta nueva edición de la Revista con un total de cinco artículos derivados ...
Editorial
(Universidad Autónoma de Bucaramanga UNAB, 2017-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 RCC, se complacen en presentar esta nueva edición de la Revista con un total de seis artículos derivados ...
Documentación de componentes: una aproximación basada en diagramas de secuencia
(Universidad Autónoma de Bucaramanga UNAB, 2004-06-01)
Tipo de documento: Artículo
Los rápidos cambios que experimentan las reglas de negocio asociadas a las empresas,
hacen que por una parte se incremente el número de nuevas soluciones software a construir, mientras que por otro lado aumente el tiempo ...
Editorial
(Universidad Autónoma de Bucaramanga UNAB, 2018-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 RCC, se complacen en presentar esta nueva edición de la Revista con un total de cinco artículos ...
Editorial
(Universidad Autónoma de Bucaramanga UNAB, 2009-12-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 ...
Una vista sobre tipos abstractos y extensibles
(Universidad Autónoma de Bucaramanga UNAB, 2002-06-01)
Tipo de documento: Artículo
Este documento presenta una construcción de declaración de tipo que proporciona un sinónimo de tipo, un tipo de datos, un tipo abstracto con vistas, un subtipo de un tipo existente o un módulo (colección de declaraciones), ...
Una reflexión sistémica sobre los fundamentos conceptuales para sistemas de información
(Universidad Autónoma de Bucaramanga UNAB, 2007-06-01)
Tipo de documento: Artículo
Los conceptos Sistema, Organización, Administración e Información, son asumidos generalmente
como los fundamentos conceptuales para el trabajo en la disciplina de la Computación denominada
Sistemas de Información (SI). ...