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…

This thesis attempts to gauge the strengths and limitations of the Java programming language in terms of its use in the production of multimedia compositions: in particular, the ways in which Java supports the creation of interactive, non-deterministic musical works.…

Java provides many attractive features such as platform independence, execution safety, garbage collection and object orientation. These features facilitate application development but are expensive to support; applications written in Java are often much slower than their counterparts written in C…

by Tony Chao., Thesis (M.Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2000., Includes bibliographical references (p. 64-66)., This electronic version was submitted by the student author. The certified thesis is available in the Institute Archives and…

Descripción completa.

Nondeterminism makes distributed concurrent systems difficult to test, monitor and control. An execution of a message-passing system is nondeterministic when message races exist. Message race occurs when, e.g., multiple conflicting requests from different clients are competing to be executed within…

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…

by Brian D. Carlstrom., Thesis (M.Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, February 2001., Includes bibliographical references (p. 171-176)., This electronic version was submitted by the student author. The certified thesis is available in the Institute…

In this thesis, we present a cognitive theory of object-oriented metrics and an empirical study which has as objectives to formally test this theory while validating the metrics and to build a post-release fault proneness prediction model. The four cognitive…

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…