The following personal notes have been prepared and used for the course "Foundations of Software Engineering", for which I work as a TA for the last five years, during my graduate studies at MIT.
You are welcome to use freely whatever you want from my notes.
Hope you find them useful!