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…

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…

El presente proyecto tiene como objetivo el desarrollo de una aplicación web para la compañía Tramaco Express Cía. Ltda., la misma que apoya en la administración de la flota vehicular e insumos como: el registro de personal (propietarios de vehículos,…

Descripción completa.

jPOS es un producto open source, desarrollado en JAva, que tiene como objetivo principal proveer un framework de desarrollo de transacciones electrónicas financieras sustentadas en el protocolo ISO 8583.
Hoy por hoy es el framework para el desarrollo de Sistemas…

Java for high performance and distributed computing.
(Baker, Mark A.; Shafi, Aamir y Grove, Matthew)


Abstract

The Java language first came to public attention in 1995; very soon after it was being speculated that Java may…

Segunda parte de la presentación sobre Java.

Descripción completa.

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…