CS 477: Formal Software Development Methods
News for Spring 2013
  • 4/1/13 - I have posted a revised version of hw4.pdf. Problem 2 is to be done with transition semantics, and the due date in April 7. - ELG
  • 3/5/13 - Solutions hw2-sol.pdf and hw3-sol.pdf have been posted. - ELG
  • 1/31/13 - mp1.pdf has been posted. - EGL
  • 1/29/13 - the resource webpage' is now up-to-date for this class. It will continue to grow as I add more papers and software over the course of the semester. - ELG
  • 1/23/13 - hw1.pdf has been posted. - EGL
  • 1/16/13 - Welcome to CS477, Spring 2013. This page will be the main bulletin board for the course, and hence is always under construction. Please check it frequently. - ELG
  • 1/16/13 - Caution: All the webpages for this course are currently under conversion. I have copied then shamelessly from my webpages for cs421, and there is still lots of cs421 detritus in them. They should be straightened out within a week. - ELG
  • README
    Objectives
    Contacting Staff
    Submitting Assignments
    Extensions
    Regrade Policy
    Collaboration
    Grading
    Textbooks
    FAQ

    Class Schedule
    Lecture:
    Wed, Fri 9:30am - 10:45am
    1131 SC

    Staff
    Professor
    Elsa Gunter
    Email: egunter@illinois.edu
    Office: 2112 SC
    Phone: 265-6118
    Hours: TBA
    Also by appointment