Actualmente no es posible determinar los índices relacionados a la ocupación, desempeño, perfiles, formación requerida, etc. Lo que dificulta a los directivos la toma oportuna de decisiones y generación de planes de acción estratégica que colaboren a mejorar la calidad…

Como problema principal tenemos la falta de Información automatizada vía Web de los alumnos de la Carrera de Ingeniería en Sistemas Computacionales, es decir para acceder a los datos de los alumnos se debe acudir a las instalaciones de la…

En la tesis planteada “Guante con sensores para reproducir el sonido de las letras por medio del lenguaje sordo mudo con soporte de tecnología JAVA” se muestra como la capacidad especial de aprendizaje del lenguaje se ha solucionado por medio…

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…

Descripción completa.

Las asignaturas que componen la currícula de ciencias de la computación se clasifican en diversas áreas. Aquellas que conforman el área de sistemas presentan un conjunto de desafíos propios, dado su inherente bajo nivel de abstracción producto de la proximidad…

mTagATune is a mobile game based on TagATune.
mTagATune implements the concept of GWAP and seizes the capabilities and wide acceptance of current smartphones. GWAP promotes the creation of computer games that encourage people to do voluntary work. mTagATune implements…

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/

Busca la construcción de la aplicación para la ruta de los Yumbos, con la ayuda de nuevas herramientas de software libre se conseguirá obtener un portal wap, que con la tecnología en la actualidad se podrá observar en un teléfono…

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…