SWEN-220 Mathematical Models of Software