COMP 590: Foundations of Software Engineering