Abstract
Biodiversity information can be found in diverse information systems, ranging from large technical repositories for research purposes to dedicated databases supporting the web presence of natural sites. To deal with individual botanical objects, it is important to adopt the established scientific taxonomy. Providing a satisfying experience with current interface devices is also mandatory. Two problems have been addressed in this work: the unique identification of the objects and the representation of their physical location. The former has been tackled with QR code, a two-dimensional barcode standard, and the latter with the use of a PostgreSQL/PostGIS spatial database. The paper describes the development and test of a Web information system integrating physical identification and geo-referencing. The application in biodiversity information management shows that low-cost, state-of-the-art technologies can provide appropriate solutions even for small- and medium-sized natural sites, incorporating existing scientific information on species and contributing for a growing record of their occurrences. The system was tested on a university garden and can be used by site maintainers, visitors and researchers. The dataset collected in the site can be exported according to the Darwin Core biodiversity standard for research purposes.

Abstract
Most existing location-based services rely on ubiquitous connectivity to deliver location-based contents to the users. However, connectivity is not available anywhere at anytime even in urban centres. Underground, indoors, remote areas, and foreign countries are examples situations where users commonly do not have guaranteed connectivity but could profit from location-based contents. In this work, we propose an open platform for publishing, distributing and maintaining location-based contents that can be accessed offline by the user on a mobile device. Additionally, we describe the prototype we implemented for proof of concept consisting of an smart phone application and a web application back office, using 2D-barcodes as location identifiers. Our prototype provides offline access, as well as publishing, installing and updating location-based content. © 2011 IEEE.

Abstract
FP7 ICT4Depression project aims at providing a set of tools to,further improve both patient outcome and increase of access to treatment of the patients suffering from major depression. This article describes the Information Systems (IS) architecture used in the project. ICT4Depression uses a service oriented architecture as means of bringing together different kinds of information concerning the patient, the therapeutic modules he is advised to follow and the sensors used to assess his status.

Abstract

Abstract
Algebraic specification languages have been successfully used for the formal specification of abstract data types (ADTs) and software components, and there are several approaches to automatically derive test cases that check the conformity between the implementation and the algebraic specification of a software component. However, existing approaches do not assure the coverage of conditional axioms and conditions embedded in complex axioms. In this paper, we present a novel approach and a tool to automatically derive test cases from bounded algebraic specifications of ADTs, assuring axiom coverage and of all minterms in its full disjunctive normal form (FDNF). The algebraic specification is first translated into the Alloy modelling language, and the Alloy Analyzer tool is used to find model instances for each test goal (axiom and minterm to cover), from which test cases in JUnit are extracted.

Abstract
Requirements defects have a major impact throughout the whole software lifecycle. Having a specific defects classification for requirements is important to analyse the root causes of problems, build checklists that support requirements reviews and to reduce risks associated with requirements problems. In our research we analyse several defects classifiers; select the ones applicable to requirements specifications, following rules to build defects taxonomies; and assess the classification validity in an experiment of requirements defects classification performed by graduate and undergraduate students. Not all subjects used the same type of defect to classify the same defect, which suggests that defects classification is not consensual. Considering our results we give recommendations to industry and other researchers on the design of classification schemes and treatment of classification results.