This tutorial will introduce the research field of pervasive computing, with particular focus on
spatial computing and pervasive ecosystems. It will show the applicative domain with a focus on
pervasive displays, analysing the main challenges such systems present to software engineers. It will
also show how relevant is the role of the simulation and properties checking in this area, in which a
complete system deployment prior to release is almost impossible.
