El Proyecto de Titulación establece un conjunto de criterios que permiten evaluar frameworks de desarrollo de la capa de persistencia de aplicaciones empresariales en ambientes Java y .Net, en base a estos criterios se valoró los frameworks Entity Framework y…

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…

O objetivo deste trabalho é descrever a arquitetura dos Web Services como um dos recursos disponíveis para facilitar a integração de sistemas heterogêneos, ou seja, sistemas que são desenvolvidos em diferentes linguagens e que necessitam trocar informações e recursos entre…

Este trabalho apresenta o desenvolvimento de um sistema de informação on-line que auxilie na tomada de decisão quanto ás condições de colheita do Mexilhão Perna perna. O sistema parte de um projeto já desenvolvido, intitulado Sistema Especialista para Determinação do…

El presente trabajo investiga las herramientas que provee el lenguaje Java para el desarrollo de aplicaciones de ingeniería que transmitan los datos a través del internet o para modificar aplicaciones existentes para proveerles esta funcionalidad. Para ello, primeramente se presenta…

DLP is a basic java-based IDE specifically conceived for DeLP, that allows to compile DeLP programs and queries into JAM opcodes, execute those opcodes, and even witness the actual step by step construction of the dialectical tree that is built…

In this note, I propose two extensions to the Java virtual machine (or VM) to allow dynamic languages such as Dylan, Scheme and Smalltalk to be efficiently implemented on the VM. These extensions do not affect the performance of pure…

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…

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…

Vídeo sobre el funcionamiento del framework 3D de JavaVis.