El presente artículo presenta la implementación de un laboratorio virtual para que a través de Internet cumpla con objetivos pedagógicos en el estudio de los dispositivos electrónicos básicos usados en la enseñanza de la electrónica en las Universidades. Se desarrolla…

Descripción completa.

Se define un Sistema de Información Geográfica GIS como una integración organizada de hardware, software y datos geográficos diseñada para capturar, almacenar, manipular, analizar y desplegar en todas sus formas la información geográficamente referenciada con el fin de resolver problemas…

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…

Unidad 6: Polimorfismo, parte 2/2.

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…

Enunciado de la práctica 2 (P2).

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…

La incorporación y uso adecuado de las TIC‟s durante el proceso de enseñanza-aprendizaje puede convertirse en un instrumento que ayuda a lograr aprendizajes significativos por un lado al construir el código fuente de un simulador, y por otro cuando se…

TACO es una herramienta para realizar verificación formal de programas, que permite detectar bugs en los mismos. Esta traduce un programa escrito en lenguaje Java y su especificación en JML a la notación DynAlloy, para luego analizar la especificación obtenida…