Publications

The sustainable development of deprived urban communities has become a critical issue due to the combined phenomena of population growth and urbanisation in the last 50 years. A marked improvement in the policy options open to small and deprived urban communities constitute a guarantee in the drive towards sustainable development.

For the last four years, the group of international experts involved in the COST Action C27 (Sustainable Development Policies for Minor Deprived Urban Communities) has successfully singled out indicators and specific techniques that analyse threats to sustainability leading to cultural heritage dereliction, specific planning protocols and techniques for guaranteeing the effectiveness of planning tools, and finally ad hoc eco-engineering techniques in order to start or help the revitalisation processes; all of which were developed in order to provide information to local authorities and create a civic society able to challenge unsustainable local development proposals.

Tribology is the science of interacting surfaces in relative motion: friction, wear and lubrication of moving parts in instruments, machinery, manufacturing.

The International Conference on Formal Verification of Object-Oriented Software (FoVeOOS 2010) was organised by COST Action IC0701 but it went beyond the framework of this action. The conference was open to the whole scientific community. FoVeOOS aimed to foster collaboration and interaction among researchers in this area. This volume contains a selection of research papers and system descriptions presented at FoVeOOS 2010. Authors of the 23 papers presented at the conference were invited to submit improved versions, to be reviewed a second time. Twenty-one submissions were received, and the Program Committee selected 11 of them. Additionally, two of the invited speakers provided papers, which were reviewed by the Program Committee and included in this volume.