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…

La gestión de los procesos de negocio o BPM (Business Process Management) es una metodología empresarial que permite representar las actividades de los procesos de negocios y las restricciones que se aplican sobre ellas. Automatizar esta tarea conlleva el beneficio…

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

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…

Conforme crece el uso y la adopción de los dispositivos móviles, se espera que brinden funcionalidades cada vez más complejas. En consecuencia, la demanda de nuevas aplicaciones aumenta considerablemente. Android es una nueva plataforma licenciada como software libre que será…

El presente trabajo muestra el uso y análisis, desde el punto de vista de los Sistemas de Información, de metodologías no clásicas de computación a través de programación concurrente, observando características estructurales del software y hardware empleado, con el fin…

La Comprensión de Programas (CP) es una disciplina de la Ingeniería de Software cuyo objetivo es facilitar el entendimiento de los sistemas. Para lograr esto, se vale del desarrollo de Métodos, Técnicas, Estrategias y Herramientas que permiten comprender las funcionalidades…

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…

Esta investigación tuvo como objetivo el construir un equipo de 3
robots, construidos con LEGO MINDSTORMS, capaces de jugar futbol en su regla
más básica de anotar goles. Para lograrlo, cada integrante
del equipo tiene un comportamiento autónomo dentro…