This tutorial book presents an augmented selection of the material presented at the First
Pernambuco Summer School on Software Engineering PSSE 2004 held in Receife Brazil in
November December 2004 jointly with the Brazilian Symposium on Formal Methods (SBMF 2004). The
seven tutorial lectures presented are the thoroughly revised versions of the contributions from
the invited lecturers. The courses cover a wide spectrum of topics.
