CS 477: Formal Software Development Methods
News for Spring 2020
  • 3/31/20 - The Midterm is out: I have pushed the midterm to all your git repos. It is due Wednesday April 8. It covers through Hoare Logic, with weakest precondition and verification condition generation if you choose to use it. - ELG
  • 3/27/20 - Friday Office hours My Friday office hours will be by group; show up when you can / want; we all meet together. I have been given many meetings (more than when we were in rooms on campus) and the only time that doesn't collide with other meetings on Fridays is 2:00pm - 3:00pm. Please see the piazza post for more details.
    Topic: CS 477 Friday Office Hours
    Time: Mar 27, 2020 02:00 PM Central Time (US and Canada)
    Every week on Fri, until May 8, 2020, 7 occurrence(s)
    Mar 27, 2020 02:00 PM
    Apr 3, 2020 02:00 PM
    Apr 10, 2020 02:00 PM
    Apr 17, 2020 02:00 PM
    Apr 24, 2020 02:00 PM
    May 1, 2020 02:00 PM
    May 8, 2020 02:00 PM
    ---Elsa
    - ELG
  • 3/25/20 - My Wednesday office hours will be by group, show up when you can / want; we all meet together. The time is still

    Wednesdays 1:30 pm - 2:20pm

    Please see the piazza post for more details.
    ---Elsa - ELG
  • 3/1/20 - HW1 has been graded and the results have been put in your git repositories in a file named hw1-submission-graded.pdf. The scores for HW1 have been uploaded into Compass. - ELG
  • 2/29/20 - Because of the mistakes in distributing this assignment, I have extended the base due date for HW3 to Friday March 6. I have also moved the late handin date to Sunday March 8, but students taking the option to turn in this assignment late should not expect to received graded feedback before the Midterm. - ELG
  • 2/14/20 - Starting next week I need to move my Friday office hour to 3:00pm - 3:50pm - ELG
  • 2/8/20 - I have shifted the due date for each of HW1 and HW2 to be due on Friday. I am hoping to be able to shift the due dates back within the next few weeks. - ELG
  • 1/21/20 - Welcome to CS477, Spring 2020. This page will be the main bulletin board for the course, and hence is always under construction. Please check it frequently. - ELG
  • 1/21/20 - Caution: All the webpages for this course are currently under conversion. I have copied then shamelessly from my webpages from CS 477, Fall 2018, and before that from CS 421. I have revised them but there may still be detritus in them. Please point out any oddities and I will fix them (or explain them). - ELG
  • README
    Objectives
    Contacting Staff
    Submitting Assignments
    Extensions
    Regrade Policy
    Collaboration
    Grading
    Textbooks
    FAQ

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

    Staff
    Professor
    Elsa Gunter
    Email: egunter@illinois.edu
    Office: 2112 SC
    Phone: 265-6118
    Hours:
    Wed 1:30pm-2:20pm
    Fri 3:00pm-3:50pm
    Also by appointment