Abstract
In the last years, the concern with the correctness of programs has been leading programmers to enrich their programs with annotations following the principles of design-by-contract, in order to be able to guarantee their correct behaviour and to facilitate reuse of verified components without having to reconstruct proofs of correctness. In this paper we adapt the idea of specification-based slicing to the scope of (contract-based) program verification systems and behaviour specification languages. In this direction, we introduce the notion of contract-based slice of a program and show how any specification-based slicing algorithm can be used as the basis for a contract-based slicing algorithm.

Abstract
The extraction efficiency f for the photoelectrons emitted from a CsI photocathode into gaseous Xe-CH4 and Ne-CH4 mixtures is investigated by Monte Carlo simulation. The results are compared with earlier calculations in Ar-CH4 mixtures and in the pure gases Xe, Ar, Ne and CH4. The calculations examine the dependence of f on the density-reduced electric field E/N in the 0.1-40 Td range, on the incident photon energy E-ph in the 6.8-9.8 eV (183-127 nm) VUV range and on the mixture composition. Results calculated for irradiation of the photocathode with a Hg(Ar) lamp are compared with experimental measurements for this lamp. To test the electron scattering cross-sections used in the simulations, electron drift parameters in Xe, Ne and their mixtures with CH4 are also presented and compared with available experimental data.

Abstract
The future of intelligent vehicles will rely on robust information to allow the proper feedback to the vehicle itself, to issue several kinds of active safety, but before all, to generate information for the driver by calling his or her attention to potential instantaneous or mid-term risks associated with the driving. Before true vehicle autonomy, safety and driver assistance are a priority. Sophisticated sensorial and perceptive mechanisms must be made available for, in a first instance, assisting the driver and, on a latter phase, participate in better autonomy. These mechanisms rely on sensors and algorithms that are mostly available nowadays, but many of them are still unsuited for critical situations. This paper presents a project where engineering and scientific solutions have been devised to settle a full featured real scale platform for the next generation of ITS vehicles that are concerned with the immediate issues of navigation and challenges on the road. The car is now ready and running, and the data gathering has just begun. ©2010 IEEE.

Abstract
RoboCup is an international cooperative research project aimed at promoting research in Artificial Intelligence and Robotics. It includes a simulation league where two teams of 11 players compete in a robotic soccer game very similar to real soccer. Teams exhibit very complex strategies in these games that are very difficult to analyze by conventional observation methods. This paper presents an approach to the visualization of simulated robotic soccer games using the RapidMiner software package. Various visualizations were developed using Andrew's Curves, Survey Plots, several types of Parallel Coordinate visualizations and Radial Coordinate Visualizations. These visualizations enabled to take some interesting conclusions about the differences between games of FC Portugal robotic soccer team using different formations and against distinct opponents.

Abstract
We present a case-study of developing a simple software module using contracts, and rigorously verifying it for safety and functional correctness using two very different programming languages, that share the fact that both are extensively used in safety-critical development: SPARK and C/ACSL. This case-study, together with other investigations not detailed here, allows us to establish a comparison in terms of specification effort and degree of automation obtained with each toolset.

Abstract
The paper underlines the interest of using a performance management system applied to monitor the strategy effectiveness and the interoperation's performance in the collaborative networks (CN). The aim with this study is to verify if a performance management system helps decision-makers reach the alignment among participants in a collaborative network. It is expected that this work provides an adequate tool for supporting quick decisions to meet the feasible and desirable improvements in inter-organisational processes. A framework (CNPMS) is also presented, having been developed to support the dynamic performance management, which was applied in case studies of two Brazilian collaborative networks.