Descripción completa.

El Módulo de Control Presupuesto y Costos del Proyecto fue realizado para el cálculo de los costos que intervienen en un proyecto y la correcta administración del presupuesto que se le asigna a sistemas. Esta aplicación fue diseñada usando arquitectura…

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…

Se estudia el concepto de 'framework' y 'librería', con un ejemplo de desarrollo y aplicación de un framework de ejemplo. Se presentan algunos frameworks/librerías de uso común en Java, como el Java Collections Framework, JDBC, Hibernate, Apache Commons, etc.

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…

En este trabajo se presenta el desarrollo de una Aplicación Web (SIMAWEB) que interactúa en tiempo real con un Sistema de Procesamiento de Imágenes en un Ambiente Distribuido (SIMA) para la aplicación de operaciones sobre imágenes. SIMAWEB permite el procesamiento…

In this paper a methodology for accesing scientific data repositories on data grids is proposed. This methodology is based on ontology specification and knowledge representation. The concept of Knowledge Perspective is introduced, as the action of applying particular scientific conjectures…

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