Tabla de contenidos
Editorial
| Editorial | |
| Álvaro Enrique Arenas, José de Jesús Pérez |
Artículos
| Unification Modulo Presburger Arithmetic and Other Decidable Theories | |
| Mauricio Ayala-Rincón, Ivan E. Tavares Araújo |
| A Formal Perspective to Modelling Electronic Commerce Transactions | |
| Sylvanus A. Ehikioya |
| Organizational Indicators for CASE Tools Selection: A Case Study | |
| Luis Eduardo Mendoza, Teresita Rojas, María A. Pérez |
| Probabilistic Estimation of Uncertain Temporal Relations | |
| Vladimir Ryabov |
| Construyendo Aplicaciones Web con una Metodología de Diseño Orientada a Objetos | |
| Darío Andrés Silva, Bárbara Mercerat |
Este trabajo está autorizado por una Licencia de Atribución de Bienes Comunes Creativos (CC) 3.0 .
Universidad Autónoma de Bucaramanga • Avenida 42 No 48 - 11 • PBX (7) 643 6111/6261 Bucaramanga - Colombia •