El presente trabajo sintetiza el proceso de diseño y creación de medios digitales en distintos formatos: animaciones en formato swf, modelos 3D interactivos en formato skp, java o pdf y la implementación de una aplicación on-line para el dibujo asistido…

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…

El presente proyecto de titulación surge en respuesta a la necesidad de automatizar la administración de las historias clínicas de los pacientes de la clínica "REHABILITAR S.A." que actualmente lo realizan manualmente. Para el desarrollo se tomo como referencia la…

Descripción completa.

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…

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…

El presente trabajo investiga las herramientas que provee el lenguaje Java para el desarrollo de aplicaciones de ingeniería que transmitan los datos a través del internet o para modificar aplicaciones existentes para proveerles esta funcionalidad. Para ello, primeramente se presenta…

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/

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…