SYSC 3020: Introduction to Software Engineering SYSC 4111: Formal Methods in Software Engineering SYSC 3120: Software Requirements Engineering SYSC 5807: Advanced Software Testing
