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…

Descripción completa.

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…

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/

Esta tesis propone una infraestructura genérica para el desarrollo de aplicaciones
distribuidas y paralelas sobre laWeb. Esta infraestructura está orientada
a permitir que todos los usuarios de Internet sean capaces de participar
en la ejecución de aplicaciones distribuidas, usando una…

Entre la gran diversidad de herramientas y lenguajes de programación
que existen para el desarrollo de aplicaciones Web, las tecnologías
Java (Applets, Servlets, JSP, entre otras) son utilizadas ampliamente dada
la característica de ser multiplataforma. Estas tecnologías
tienen diferentes…

La aplicación Marketing versión 1.0 fue desarrollado con la finalidad de sistematizar estrategias de marketing de pequeñas y medianas empresas. Además contempla el desarrollo de una página Web para realizar marketing electrónico. Este proyecto fue desarrollado utilizando Tecnología Open Source,…

Los esquemas de análisis sintáctico son un formalismo de definición de
algoritmos de análisis sintáctico que permite abstraer detalles de bajo nivel. En este
trabajo, presentamos una técnica de compilación para transformar automáticamente
un esquema de análisis sintáctico en una…

El presente trabajo es una herramienta generadora de código para aplicaciones Web escritas en JAVA; cuyo principal objetivo es agilizar el proceso de desarrollo de software. Esta aplicación utiliza los metadatos de un motor de base de datos para construir…

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…