This tutorial presents a collection of research papers on themes discussed at the Lipari Summer School on Advances in Software ...