Semester	Course	Code	Title
1	EC2	CA228	Software Specification
1	CASE4	CA448	Compiler Construction 1
2	MSE	CA648	Formal Programming