A atividade de teste constitui uma fase de grande importância no processo de desenvolvimento de software, tendo como objetivo garantir um alto grau de confiabilidade nos produtos desenvolvidos. Com o advento do paradigma da orientação a objetos, novos problemas foram…

The essential purpose of this paper is to describe a framework, in a simple and complete way, which enables the concurrent visualization of audio/video streaming combined with its corresponding synchronous vectorial information. The architecture presented uses Java JMF API, which…

When used in conjunction with patterns, class libraries, and components, objectoriented application frameworks can significantly increase software quality and reduce development effort. Frameworks are a kind of domain-specific model whose structure can reuse existing patterns. In the field of medical…

La presencia de uno o varios niveles de memoria cache en los procesadores modernos, cuyo objetivo es reducir el tiempo efectivo de acceso a memoria, adquiere especial relevancia en un ambiente multiprocesador del tipo DSM dado el mucho mayor costo…

La sociedad actual tiene como reto la difusión del conocimiento a todos sus individuos, independientemente de su nivel económico o situación geográfica. Las nuevas tecnologías de Internet en el ámbito de la educación han permitido ampliar y facilitar, de forma…

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…

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…

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…

Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal