Revista Colombiana de Computación
La Revista Colombiana de Computación (ISSN: 1657-2831, e-ISSN: 2539-2115), es una publicación semestral que acepta artículos originales e inéditos de investigación en Computación. Los artículos pueden ser conceptuales, aplicados o estados del arte. Su objetivo es divulgar resultados derivados de Proyectos de Investigación, realizados por investigadores, profesores y estudiantes de pregrado, maestría y doctorado, en temas relacionados con Computación. Disponible en el Portal de Revistas UNAB: https://revistas.unab.edu.co/index.php/rcc
Share this
Recent Submissions
-
Relaciones entre casos de uso en el lenguaje de modelado unificado
(Universidad Autónoma de Bucaramanga UNAB, 2000-12-01)El Unified Modeling Language (UML) es un lenguaje gráfico, semiformal, que ha sido aceptado como estándar para describir sistemas de software orientados a objetos. UML define varios tipos de diagramas que se utilizan para ... -
El enfoque de Aristóteles para abrir hipermedia
(Universidad Autónoma de Bucaramanga UNAB, 2000-12-01)Large-scale distributed hypermedia systems comprise a generation of powerful tools to meet the demands of the new information globalization era. The most promising of such systems have characteristics that allow for the ... -
Patrones de diseño para el modelo de redes en sistemas de información geográfica
(Universidad Autónoma de Bucaramanga UNAB, 2000-12-01)Este artículo describe dos patrones de diseño que facilitan el desarrollo de sistemas de información geográfica (SIG) orientados a objetos. El primero de ellos, denominado Objeto Espacial, captura los aspectos ... -
Sustituciones explícitas y todo eso
(Universidad Autónoma de Bucaramanga UNAB, 2000-12-01)Explicit substitution calculi are extensions of the calculus where the substitution mechanism is internalized into the theory. This feature makes them suitable for implementation and theoretical study of logic based ... -
Modelos para la computación móvil
(Universidad Autónoma de Bucaramanga UNAB, 2000-12-01)En este artículo presentamos un análisis comparativo de algunos cálculos de computación móvil propuestos recientemente. Al tiempo que se describen el π - cálculo propuesto por Milner en [RMW92], un cálculo de ... -
Editorial
(Universidad Autónoma de Bucaramanga UNAB, 2000-12-01)La importancia de la tecnología de información y específicamente de las ciencias de la computación en nuestra sociedad ha sido enorme. Ella ha facilitado y creado tendencias mundiales como la globalización y la informatización ... -
Diseñemos todo de nuevo: reflexiones sobre la computación y su enseñanza
(Universidad Autónoma de Bucaramanga UNAB, 2000-12-01)Qué y cómo enseñar son las preguntas fundamentales de nuestro quehacer como profesores. En este artículo presento mi visión personal de nuestra área, un análisis crítico y constructivo y sus implicancias en la ... -
Una herramienta de especificación de metamodelo basada en la lógica de descripción y XML-DATA
(Universidad Autónoma de Bucaramanga UNAB, 2001-06-01)Interoperation of heterogeneous and autonomous information systems has traditionally been hampered by semantic differences intheir data models.Keywords: Cooperation, extensibility, metamodel, translators, description logic, ... -
Aceleración de consultas en sistemas de bases de datos distribuidas
(Universidad Autónoma de Bucaramanga UNABFacultad IngenieríaPregrado Sistemas, 2001-06-01)El advenimiento de la era de las telecomunicaciones y el desarrollo constante de hardware y estructuras de red han fomentado la descentralización de datos al tiempo que aumentan las necesidades de acceder a información ... -
Un modelo general de colonia de hormigas para resolver problemas de optimización combinatoria
(Universidad Autónoma de Bucaramanga UNAB, 2001-06-01)An Ants System is an artificial system based on the behavior of real ant colonies, which is used to solve combinatorial problems.Keywords: Combinatorial Optimization Problem,AntSystem, the Graph Partitioning and The Traveling ... -
Nuevos diseños de controladores por lógica fuzzy
(Universidad Autónoma de Bucaramanga UNAB, 2001-06-01)En el momento actual los Controladores con Lógica Fuzzy transitan por una etapa del desarrollo acelerado en su fundamentación teórica y sus aplicaciones prácticas. La estructura algorítmica de los mismos, que puede llamarse ... -
Editorial
(Universidad Autónoma de Bucaramanga UNAB, 2001-06-01)Tenemos la inmensa satisfacción de presentarles el segundo número de la Revista Colombiana de Computación. El primer número tuvo un éxito que desbordó nuestras expectativas, recibiéndose varias solicitudes de suscripción ... -
Estimación del coste de la calidad del software a través de la simulación del proceso de desarrollo
(Universidad Autónoma de Bucaramanga UNAB, 2001-06-01)El objetivo principal del control de calidad no es otro que detectar y corregir los errores que surgen durante el proceso de desarrollo de un producto software, así como garantizar que el producto final responde a las ... -
Estimación probabilística de relaciones temporales inciertas
(Universidad Autónoma de Bucaramanga UNAB, 2001-12-01)A wide range of AI applications should manage time varying information, for example, temporal databases, reservation systems, keeping medical records, financial applications, planning. Many published research articles in ... -
Diseño, desarrollo y evaluación de un sistema de decisión y soporte: la metodología MAKAVAS
(Universidad Autónoma de Bucaramanga UNAB, 2001-06-01)Los sistemas decisión y soporte son sistemas informáticos que ayudan en la toma de decisiones. La evaluación de un sistema de decisión y soporte, es decir la medición de su calidad, es un componente esencial de ... -
Una perspectiva formal para modelar transacciones de comercio electrónico
(Universidad Autónoma de Bucaramanga UNAB, 2001-12-01)Many models of e-commerce applications use informal approaches and human intuition although their underlying data model is sound. Consequently, most of the designs contain inconsistencies and some hidden brittle spots that ... -
Indicadores organizacionales para la selección de herramientas CASE: un estudio de caso
(Universidad Autónoma de Bucaramanga UNAB, 2001-12-01)It is known that the selection, acquisition and implementation process of a CASE (Computer Aided Software Engineering) tool in an organization is a complex process. Fundamentally the impact of a tool is not simply the ... -
Módulo de unificación aritmética pre-hamburguesa y otras teorías decidibles
(Universidad Autónoma de Bucaramanga UNAB, 2001-12-01)We present a general uni cation algorithm modulo Presburger Arithmetic for a re- stricted class of modularly speci ed theories where function symbols of the target theory have non arithmetic codomain sorts. Additionally, ... -
Editorial
(Universidad Autónoma de Bucaramanga UNAB, 2001-12-01)Un cordial saludo de parte de la Revista Colombiana de Computación y de todos sus colaboradores, con los mejores deseos para el año 2002. Queremos compartir con ustedes las novedades que hemos tenido. En este momento ... -
Construyendo aplicaciones web con una metodología de diseño orientada a objetos
(Universidad Autónoma de Bucaramanga UNAB, 2001-12-01)El presente artículo tiene como principal objetivo mostrar las ventajas del uso de una metodología de diseño orientada a objetos para desarrollar aplicaciones web. Existen en la actualidad tecnologías que permiten ...
RSS 1.0