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…

Los estudiantes de primer curso de Físicas de la Universidad de Murcia utilizan la herramienta de modelado Easy Java Simulations, Ejs, para realizar sus propias simulaciones, dicha herramienta permite desarrollar simulaciones con un aceptable pequeño esfuerzo informático, el Ejs produce…

En este proyecto se trata de investigar las características de replicación y fragmentación de la información, en particular la propagación y regulación de las actualizaciones de datos. El esquema de replicación planteado en este estudio se considera estático y preestablecido,…

Dentro de los desarrollos de software empresarial, uno de los principales actores continúan siendo las aplicaciones cliente/servidor construidas sobre J2EE. La estabilidad de esta tecnología y la capacidad de usar dichas aplicaciones en el escenario Internet/Intranet, usando tanto clientes java…

Los componentes software permiten la crear aplicaciones a través de ensamblaje, y realizar ajustes y extensión al agregar o cambiar un conjunto de componentes interdependientes. Sin embargo, esta flexibilidad conlleva riesgos sino se administra cuidadosamente, dado que de otra manera…