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…

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…

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…

Este artículo tiene como objetivo presentar al lector los resultados parciales del proyecto en actual desarrollo: “Teacher on Line” (ToL), un moderno sistema de Educación a Distancia basado en Tecnología Web. Resultan relevantes los aspectos de desarrollo y cualidades de…

Bluetooth es la especificación que define un estándar global de comunicaciones inalámbricas para redes de área personal dicha especificación permite la transmisión de voz y datos entre diferentes equipos mediante un enlace por radiofrecuencia en entornos de comunicaciones móviles y…

EGB-Virtual es un proyecto concebido desde la cátedra Laboratorio de Software de la Facultad de Informática de la UNLP y cuyo objetivo es realizar un aporte desde la Informática a la innovación pedagógica aplicada al nivel inicial y primer ciclo…

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.

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…

Se propone un conjunto de tres unidades de medida de software que se identificarán con los nombres Transacciones (T), Objetos de Entidad (Entity Objects, EO) y Caminos (Paths, P). Cada una de ellas capturará un atributo interno del software: funcionalidad,…