This paper presents a new approach to algorithm design and analysis that benefits from the OO characteristics of Java. It consists of first defining the inheritance structure of a collection of algorithms, at different levels of abstraction. Then, correctness proofs…

In this work a statics virtual laboratory is presented. This virtual laboratory is a set of different applets, tools based in Java, which allow the visualization of different physical laws in the field of statics. The applets have the advantage…

This thesis describes a framework for collecting, analyzing, and visualizing dynamic data, particularly data gathered through Web questionnaires. The framework addresses challenges such as promoting user participation, handling missing or invalid data, and streamlining the data interpretation process. Tools in…

Understanding software structural complexity and evolution plays an important role in controlling the software development and maintenance process. Recent studies have shown that the theory behind complex networks, especially the theory of scale-free networks, can be a useful approach to…

The exponential spread of the World Wide Web has had an enormous impact on educational
institutions. New technologies, such as virtual and remote laboratories, have improved learning and training in the academic community, mainly in the field of technical and…

Web-based learning environments are becoming increasingly popular in higher education. One of the most important web-learning resources is the virtual laboratory (VL), which gives students an easy way for training and learning through the Internet. Moreover, on-line collaborative communication represents…

This article focuses on early archaeological activities on Java between 1800 and 1850 in the context of the multiple regime changes of that period. It engages with the New Imperial History’s network-centred approach by looking at circuits of archaeological knowledge…

New technologies, such as virtual and remote laboratories, have improved learning and
training in the academic community. They allow students to acquire methods, skills and
experience related to real equipment in an intuitive and cost-effective way. This paper
presents the…

Local variables are fundamental to describe and implement computer algorithms and to specify some of their properties such as correctness, termination and performance. In this paper, we address the run-time assertion checking problem involving local variables in Java programs using…

Virtual and remote laboratories have improved
learning and training in the academic community. They allow students to acquire methods, skills and experience related to real equipment in an intuitive and cost-effective way. The purpose of this paper is to present…