Abstract
It is presented a promising approach to test interactive components, supporting the automatic generation of test cases from a specification. The relevance and difficulties (issues and challenges) associated with the testing of interactive components are first presented. It is shown that a formal specification with certain characteristics allows the automatic generation of test cases while solving some of the issues presented. The approach is illustrated with an example of automatic testing of the conformity between the implementation of a button, in the .Net framework, and a specification, written in the AsmL language, using the AsmL Tester tool.The conclusion discusses the characteristics of the tool and gives directions for future work.

Abstract
The PhDOOS workshop differs from other workshops because the range of participants is much smaller (only PhD students) but has a wide scope of topics. Even with the limitation to PhD students in Object Oriented Systems, the presentations covered topics such as Generic Ownership, Generic Algorithms, Model Driven Architecture, Prediction of Size, QoS assessment, Frameworks, Teaching of Frameworks and Object Calculus. Several topics of shared interest were identified and targeted in separate discussion groups on a general theme on the future of object oriented programming. As the participants had various research interests covering very different parts of the OO spectrum, we can confidently state that these topics reflect actual concerns and needs of the OO community, and emerge from its concrete needs. This document is to be complemented by a workshop proceedings online document which will contain the full versions of the presented papers.

Abstract
Finding one's way around an unfamiliar city can be a major challenge. While maps can provide a very good abstract representation of our world, and a simple and efficient way to navigate within that world, they are of little use when, for example, the absence of road signs prevents us from locating where we are on the map. Mobile devices offer the potential for providing relevant 3D information to enable us to locate ourselves, rapidly navigate around an unfamiliar environment and explore it interactively. However, mobile devices are constrained by resources such as bandwidth, storage and small displays. In this paper we investigate which is the most important visual information for position location within an unfamiliar urban environment and show how we can use this knowledge to provide a perceptually high quality 3D virtual environment on existing mobile devices. Copyright 2004 ACM.

Abstract
The revision process of a Municipal Master Plan has a sequence of several steps that are to be executed. One of these steps, public discussion, is of great democratic importance as it allows citizens to actively participate in the management of the municipality through proposals and public debates taking place at a specific time and location in accordance to a previously published agenda. With such a process running at Oporto's municipality, and with the aim of reaching as much citizens as possible through the removal of spatial and temporal constrains, an effort was made to develop an electronic service for citizens, to complement the usual methods of public participation. In this paper(1) we present the results of such service.

Abstract
A wide range of reconfigurable coarse-grain architectures has been proposed in recent years, for an extensive set of applications. These architectures vary widely in the interconnectivity, number, granularity and complexity of the processing elements (PEs). The performance of a specific application usually depends heavily on the adequacy of the PEs to the particular tasks involved, but tools to efficiently experiment architectural features are lacking. This work proposes an environment for exploration and simulation of coarse-grain reconfigurable data-driven architectures. The proposed environment takes advantage of Java and XML technologies to enable a very efficient backend for experiments with different architectural trade-offs, from the array connectivity and topology to the granularity and complexity of each PE. For a proof of concept, we show results on implementing different versions of a FIR filter on a hexagonal data-driven array.

Abstract
This paper presents some interesting concepts of static dataflow machines that can be used by reconfigurable computing architectures. We introduce some data-driven reconfigurable arrays and summarize techniques to map imperative software programs to those architectures, some of them being focus of current research work. In particular, we briefly present a novel technique for pipelining loops. Experiments with the technique confirm important improvements over the use of conventional loop pipelining. Hence, the technique proves to be an efficient approach to map loops to coarse-grained reconfigurable architectures employing a static dataflow computational model.