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…

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…

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…

The knowledge imperfections should be considered when modeling complex problems. A solution is to develop a model that reduces the complexity and another option is to represent the imperfections: uncertainty, vagueness and incompleteness in the knowledge base. This paper proposes…

Programming embedded devices has been historically a difficult task, involving the learning of the features of a specific device such as the assembly language of a processor. This led to the use of Java in embedded system as a way…

En los últimos años El F/OSS se convirtió en una alternativa viable tanto para la provisión de software como para la reutilización en la creación de nuevos productos. Dada la enorme heterogeneidad de los productos F/OSS, se vuelve necesaria la…

En la última década la implementación de los sistemas BRMS (Business Rules Management System) viene creciendo a medida que el negocio requiere más flexibilidad y velocidad a la hora de un cambio de reglas de negocio.
BRMS permite la administración…

Model Driven Architecture (MDA) define un proceso de construcción de software basado en la producción y transformación de modelos. En Ingeniería de Software, refactorización es la técnica que reestructura código de una aplicación, alterando su estructura interna sin modificar su…

Se presenta un diseño de Laboratorio Virtual Basado en Simulaciones (LVBS) para el estudio del comportamiento de un resorte en los modos estático y dinámico. Para el desarrollo de la experiencia se ha usado un programa de simulación basado en…

El presente artículo presenta la implementación de un laboratorio virtual para que a través de Internet cumpla con objetivos pedagógicos en el estudio de los dispositivos electrónicos básicos usados en la enseñanza de la electrónica en las Universidades. Se desarrolla…