Foundations of Software Engineering
The slides for Lecture 3 and Lecture 4 are now available on the Lectures page, along with the example source code discussed during Lecture 4.