La plataforma .NET de Microsoft se basa en una filosofía de just-in-time compilation (compilación bajo demanda al momento de la ejecución). Los programas desarrollados de esta manera se ejecutan en un entorno o framework independiente de la plataforma, basado en…

Se desarrollo el modulo de Gestión de proveedores y administración de contratos con el objetivo de poder cumplir necesidades tales como satisfacer el pedido de recursos para la elaboración de un determinado proyecto.
Esta operación conlleva acciones tales como:
Realizar…

En este trabajo se presenta una técnica para verificar modularmente atomicidad de programas bytecode Java multi-thread. Los programas deben contar con una especificación referente a los bloqueos y al acceso a los recursos compartidos para realizar la verificación modular. Se…

Protecting sensitive information has become an important facet of software development.
One aspect of software security relies on information flow control (IFC), a technique for discovering information leaks in software. Despite the large body of work on language-based IFC, there…

La presente tesis: “Estudio de Factibilidad, Desarrollo e Implementación de un Sistema Integrado de Gestión Educativa aplicable a cualquier nivel de educación (SIGA) Módulos de Gestión de Biblioteca y Gestión de Calidad”, es creada con el fin de mejorar los…

Varios intentos se han realizado para mejorar la producción de programas en diversos lenguajes. No es difícil imaginar cuán conveniente sería poder aplicar técnicas inteligentes para colaborar en este sentido. El presente trabajo realiza el desarrollo y evaluación de un…

El propósito general de este artículo se centra en
presentar una serie de herramientas para la
enseñanza a distancia de robótica industrial, que
permite a los usuarios interactuar con simulaciones
de robots reales de una manera intuitiva y
económica. Mediante…

El presente trabajo es una herramienta generadora de código para aplicaciones Web escritas en JAVA; cuyo principal objetivo es agilizar el proceso de desarrollo de software. Esta aplicación utiliza los metadatos de un motor de base de datos para construir…

Los lenguajes orientados a objetos son utilizados en la programación de agentes y, ge- neralmente, satisfacen muchos de sus requerimientos pero presentan inconvenientes en la representación y tratamiento de actitudes mentales. Los lenguajes lógicos permiten repre- sentar actitudes mentales en…

Con el principal objetivo de unir las ventajas de
los laboratorios virtuales y los entornos
colaborativos on-line, se presenta en este artículo
un sistema de comunicación síncrono entre
simulaciones interactivas desarrolladas en Easy
Java Simulations (Ejs) a través del protocolo