Abstract
The widespread use of new technologies for data acquisition and communications is disclosing large amounts of time-varying data that organizations wish to use for monitoring or decision support purposes. The efficient management of such large data sets depends largely on the use of appropriate data structures and access methods. This issue is an important topic of research in the spatiotemporal databases community. This paper presents a novel approach for the representation of large series of time-varying multidimensional data. It is based on a model of approximations that allows creating a hierarchical data structure by using different degrees of precision for each level. The hierarchical data structure allows representing an instance of a single series of discretely or continuously changing data as an abstract data type. The paper also shows how to use this approach to represent the movement of an object within a spatiotemporal database system.

Abstract

Abstract
This document describes how we are using mobile phones together with Google Earth to allow children to create multisensory geographic information in learning and participatory contexts.

Abstract

Abstract
The European Space Agency (ESA) has created the Simulation Model Portability 2 (SMP2) standard with the purpose to provide a design solution for the project of Spacecraft Simulators. One element of the SMP2 standard is the metamodel Simulation Model Definition Language (SMDL). The design artefacts of a Spacecraft Simulator consist in descriptions of the business logic shared by a set of SMP2 models. This paper reports results from a study that considers the hypothesis to complement the model-driven design approach of the SMP2 standard with test-driven design techniques. The high-level abstractions of Spacecraft Simulators are used to carry out Model-Driven Development processes, while reusable pieces of software that can to be used by many SMP2 models are designed and developed following Test-Driven-Development. The tool capable to establish the dependencies between the source code produced by the two methodologies and mission specific source code is the GNU Build System.

Abstract
This paper describes a process to reverse engineer structural and behavioural formal models of a GUI application by a dynamic technique, mixing manual with automatic exploration. The goal is to diminish the effort required to construct the model and mapping information needed in a model-based GUI testing process. A skeleton of a state machine model of the GUI, represented in a formal pre/post specification language, is generated automatically by the exploration process. Mapping information between the model and the implementation is also generated along the way. The model extracted automatically is then completed manually in order to get an executable model which can be used as a test oracle. Abstract test cases, including expected outputs, can be generated automatically from the final model and executed over the GUI application, using the mapping information generated during the exploration process.