Course Information Suite
University of Illinois at Urbana-Champaign
Utility Menu
Home
Text Only
Search
Main Menu
Class Schedule
Spring 2010
Fall 2009
Class Schedule Archives
Archives
Summer 09
Spring 09
Fall 08
Summer 08
Spring 08
Fall 07
Summer 07
Spring 07
Fall 06
Summer 06
Spring 06
Fall 05
Summer 05
Spring 05
Fall 04
Course Catalog
Spring 2010
Fall 2009
Course Catalog
Archives
Spring 09
Fall 08
Spring 08
Fall 07
Spring 07
Fall 06
Spring 06
Fall 05
Spring 05
Fall 04
Spring 04
Fall 03
Spring 03
Fall 02
Spring 02
Fall 01
Spring 01
Fall 00
Spring 00
Programs of Study
2009-2010
Programs of Study Archives
Archives
2008-2009
2007-2008
2006-2007
Spring 06
Fall 05
Spring 05
Fall 04
2001-2003
1999-2001
1997-1999
1995-1997
Gened Requirements
Categories
Search
Other Resources
Textbook Listings
Final Exam Schedule
Registration
Student Self-Service
subjects
>>
CS
>> 477
pdf
CS 477
Formal Software Dev Methods
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
or
CS 400
;
CS 273
or
MATH 414
.