Foundations of Software Engineering
The sample code for Lecture 4 is now available. I was only able to discuss the Selfish/Considerate window example in lecture today. I'll discuss the other examples next Tuesday.