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…

El proyecto Hermes tiene como
objetivo el desarrollo de un sistema
personalizado inteligente de acceso a la
información en un entorno bilingüe,
español e inglés. El sistema proporciona
una alta efectividad e información
especialmente adaptada al cliente,
basándose en la…

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…

Este trabajo de tesis se realizó con la finalidad de mejorar los procesos internos de cualquier entidad educativa tanto en lo administrativo como en lo académico a través de un sistema ERP denominado SIGA ‘Sistema Integrado de Gestión Académica’, el…

La plataforma .NET de Microsoft se basa en una filosofía de just-in-time compilation (compilación bajo demanda al momento de la ejecución). Los programas desarrollados de esta manera se ejecutan en un entorno o framework independiente de la plataforma, basado en…

La sintaxis de JavaScript es similar a C++ y Java, separación de sentencias (punto y coma), declaración de variables (var), tipos de datos, sentencias condicionales (if, else, switch), sentencias de repetición (for, do, while)., Sitio web del curso: http://idesweb.es/

En los últimos años se ha incrementado la complejidad y la heterogeneidad de las redes de datos, por ello, el gerenciamiento de las mismas se vuelve cada vez más complejo e importante. El trabajo de los administradores de redes no…

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…

JAVA is a general purpose concurrent class-based object-oriented programming language. This work presents an interactive program that interprets JAVA source programs directly. The cornerstone of its execution model is an execution graph, in which each node is constituted by three…