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 

    Giandini, Roxana S.; Pons, Claudia (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 

    Petrou, Costas; Martakos, Drakoulis; Hatzopoulos, Michael; Halamandaris, Stelios; Hadjiefthymiades, Stathes (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 

    Montilva, Jonás A.; Ramos, Yajaira (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 

    Ayala Rincón, Mauricio; Muñoz, César (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 

    Díaz, Juan Francisco; Rueda, Camilo (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 

    Arenas, Álvaro Enrique; Pérez, José de Jesús; Rueda, Guillermo (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 

    Baeza Yates, Ricardo (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 

    Nicolle, Christophe (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 

    Haraty, Ramzi A.; Fany, Roula C. (Universidad Autónoma de Bucaramanga UNAB, 2001-06-01)
    The advent of telecommunication era and the constant development of hardware and network structures have encouraged the decentralization of data while increasing the needs to access information from different sites.
  • Nuevos diseños de controladores por lógica fuzzy 

    Muñoz Moner, Antonio Faustino; Pardo García, Aldo; Díaz Rodriguez, Jorge Luis (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 ...
  • Un modelo general de colonia de hormigas para resolver problemas de optimización combinatoria 

    Aguilar, José (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 ...
  • Editorial 

    Arenas, Alvaro Enrique; Pérez, Jose de Jesús; Rueda Rueda, Guillermo (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 

    Ruiz Carreira, Mercedes; Ramos Román, Isabel (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 

    Ryabov, Vladimir (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 

    Rosso, Paolo (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 ...
  • Indicadores organizacionales para la selección de herramientas CASE: un estudio de caso 

    Mendoza Morales, Luis Eduardo; Rojas, Teresita; Pérez, María A. (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 ...
  • Una perspectiva formal para modelar transacciones de comercio electrónico 

    Ehikioya, Sylvanus A. (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 ...
  • Módulo de unificación aritmética pre-hamburguesa y otras teorías decidibles 

    Ayala Rincón, Mauricio; Tavares Araújo, Ivan E. (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 

    Arenas, Álvaro Enrique; Pérez, José de Jesús (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 

    Silva, Darío Andrés; Mercerat, Bárbara (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 ...

View more