El framework de desarrollo JSF (JAVA Server Faces) es uno de los más popularmente usados en el desarrollo de aplicaciones Web. Este incorpora la novedad de permitir construir “componentes a medida” o “componentes customizadas”, aunque la implementación inadecuada desemboca en…

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…

Un Workflow es la automatización parcial o total del proceso de negocio, con el objetivo de lograr interacción de diversas actividades realizadas por personas y máquinas.
Los SGD (Sistemas de Gestión Documental) son sistemas dedicados a incrementar el rendimiento y…

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…

Durante el proyecto de investigación No 383 surgió la necesidad de un sistema de componentes reusables multi-propósito, junto con un entorno integrado de desarrollo que los utilice. Existiendo muchas tecnologías disponibles se optó por extender el modelo Java-Beans de Sun.

En el marco de las ciencias de la computación, el área de construcción de compiladores ha logrado un estado relativamente maduro de desarrollo, tanto en aspectos teóricos como en aplicaciones prácticas. Este grado de desarrollo se hace evidente en las…

O objetivo deste trabalho é descrever a arquitetura dos Web Services como um dos recursos disponíveis para facilitar a integração de sistemas heterogêneos, ou seja, sistemas que são desenvolvidos em diferentes linguagens e que necessitam trocar informações e recursos entre…

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…

Debido al incremento en la cantidad e importancia de la información manejada por sistemas informáticos, también se incrementa la importancia de controlar la difusión de información privada de los usuarios. Los mecanismos de control del acceso y las técnicas criptográficas…