Unidad 7: Reflexión.

El Diseño, Creación e Implementación del Sistema de Matriculación Web de la Universidad de Guayaquil, fue desarrollada para automatizar la matriculación de estudiantes de diferentes facultades o escuelas, con el objetivo de mejorar y agilitar el proceso de matriculación en…

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…

Segunda parte de la presentación sobre Java.

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…

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…

Se desarrollo el modulo de Gestión de proveedores y administración de contratos con el objetivo de poder cumplir necesidades tales como satisfacer el pedido de recursos para la elaboración de un determinado proyecto.
Esta operación conlleva acciones tales como:
Realizar…

La computación es una ciencia que día a día avanza y brinda soluciones nuevas y
mejoradas. Esta situación, que se da en forma exponencial, es al mismo tiempo un
atractivo tanto para personas como empresas que adquieren productos informáticos
con…

TESINA C7.1447

Este artículo tiene como objetivo presentar al lector los resultados parciales del proyecto en actual desarrollo: “Teacher on Line” (ToL), un moderno sistema de Educación a Distancia basado en Tecnología Web. Resultan relevantes los aspectos de desarrollo y cualidades de…