Vol. 2 Núm. 2 (2001): Revista Colombiana de Computación (Julio-Diciembre)

Publicado: 2001-12-01

Editorial

• Editorial

  Álvaro Enrique Arenas, José de Jesús Pérez

  pp.1

  • PDF

Artículo de investigación científica y tecnológica

• Unification modulo presburger arithmetic and other decidable theories

  Mauricio Ayala Rincón, Ivan E. Tavares Araújo

  pp.1-14

  • PDF
• A formal perspective to modelling electronic commerce transactions

  Sylvanus A. Ehikioya

  pp.1-20

  • PDF
• Organizational indicators for CASE tools selection: a case study

  Luis Eduardo Mendoza Morales, Teresita Rojas, María A. Pérez

  pp.1-21

  • PDF
• Probabilistic estimation of uncertain temporal relations

  Vladimir Ryabov

  pp.1-17

  • PDF
• Construyendo aplicaciones web con una metodología de diseño orientada a objetos

  Darío Andrés Silva, Bárbara Mercerat

  pp.1-21

  • PDF