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

Published: 2001-12-01

Editorial

• Editorial

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

  pp.1

  • PDF (Español)

Article of scientific and technological research

• Unification modulo presburger arithmetic and other decidable theories

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

  pp.1-14

  • PDF (Español)
• A formal perspective to modelling electronic commerce transactions

  Sylvanus A. Ehikioya

  pp.1-20

  • PDF (Español)
• Organizational indicators for CASE tools selection: a case study

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

  pp.1-21

  • PDF (Español)
• Probabilistic estimation of uncertain temporal relations

  Vladimir Ryabov

  pp.1-17

  • PDF (Español)
• 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 (Español)