CS 477

Spring 2026 Part of Term 1

Part of Term 1
Jan 20-May 6

Formal Software Development Methods

SHOW FINAL EXAM SCHEDULE

Credit: 3 OR 4 hours.

Mathematical models, languages, and methods for software specification, development, and verification.

Same as ECE 478. 3 undergraduate hours. 3 or 4 graduate hours. Prerequisite: CS 225; one of CS 374, ECE 374 or MATH 414.

My Favorites

My Schedule

Section Status updates every 10 minutes.

CS 477 class schedule data for spring 2026
CRN	Type	Section	Time	Day	Location	Instructor	Section Details
39588	Lecture-Discussion	B3	12:30PM -1:45PM	TR	1310 Digital Computer Laboratory	Singh, G	Part of Term: 1 Date Range: 01/20/26-05/06/26 Credit: 3 hours Section Info: For up-to-date information about CS course restrictions, please see the following link: http://go.cs.illinois.edu/CSregister Restriction(s): Restricted to Undergrad - Urbana-Champaign. Not intended for BS:Computer Engineering -UIUC.
39589	Lecture-Discussion	B4	12:30PM -1:45PM	TR	1310 Digital Computer Laboratory	Singh, G	Part of Term: 1 Date Range: 01/20/26-05/06/26 Section Info: For up-to-date information about CS course restrictions, please see the following link: http://go.cs.illinois.edu/CSregister Restriction(s): Restricted to Graduate - Urbana-Champaign. Not intended for MCS: Computer Sci OFF - UIUC or MCS:Computer Sci Online -UIUC. Not intended for First Time Freshman students.
55917	Lecture-Discussion Online	CSP CSP	12:30PM -1:45PM 12:30PM -1:45PM	R T	Location Pending n.a.	Singh, G Singh, G	Part of Term: 1 Date Range: 01/20/26-05/06/26 Section Info: This section is intended for Chicago City Scholars only. There may be online and in person components. You are responsible for completing homeworks, quizzes, and any in person activities that are required. Please speak with your professor regarding expectations. Bi-weekly in-person meeting in Classroom A at 200 S. Wacker Dr. Chicago. For up-to-date information about CS course restrictions, please see the following link: http:// go.cs.illinois.edu/csregister. Restriction(s): Restricted to Undergrad - Urbana-Champaign. Restricted to O/C Engineering City Scholars students.
78161	Lecture-Discussion Online	MCS MCS	12:30PM -1:45PM 12:30PM -1:45PM	R T	Location Pending n.a.	Singh, G Singh, G	Part of Term: 1 Date Range: 01/20/26-05/06/26 Section Info: This section is intended for Chicago MCS only. There may be online and in person components. You are responsible for completing homeworks, quizzes, and any in person activities that are required. Please speak with your professor regarding expectations. Bi-weekly in-person meeting in Classroom A at 200 S. Wacker Dr. Chicago. For up-to-date information about CS course restrictions, please see the following link: http:// go.cs.illinois.edu/csregister. Restriction(s): Restricted to Computer Science or Bioinformatics major(s). Restricted to Graduate - Urbana-Champaign. Restricted to MCS: Computer Sci OFF - UIUC.