Exams
Final
As announced in class, the final will be a take home-exam, designed to take about 2 hours. The exam will be available in ICON's Dropbox on December 17. For your convenience, you'll have 12 hours to turn it in through ICON.
| Out: | 8:00am on Wednesday, December 17, 2014 |
| Due: | 8:00pm on Wednesday, December 17, 2014 |
Study Guide
The exam will be comprehensive, spanning all the material covered in class. The exam will assume knowledge of all the required readings listed in the Lecture section, as well as solutions to exercises and homework assignments and mini projects. It will include questions that asks you to write Alloy models, Lustre models and requirements, and Dafny code and specifications. Emphasis will be on modeling and specification.
Warning
As with the midterm, you are expected to do the exam entirely on your own. You cannot discuss the exam with classmates or anybody else before submitting your solution. If your solution presents any suspicious similarities with somebody else's solution, including solutions you may have found on the internet, you will receive an incomplete grade for the course. If the suspicions are later proven to be founded, you will be reported to the college, get a 0 for the final, and receive a letter grade corresponding to your cumulative grade at that point.
Midterm
As mentioned in class, the midterm will be a take-home exam, to be done on Thu, Oct 30, and designed to take less than 90 minutes. The class of Oct 30 will be cancelled to allow you to do it. The exam will be available on ICON on Oct 30 at 8am. For your convenience, you'll have 12 hours to turn it in, also on ICON.
| Out: | 8am on Thursday, October 30, 2014 |
| Due: | 8pm on Thursday, October 30, 2014 |
Study Guide
The midterm will span the material covered in class up to Oct 28. The exam will assume knowledge of all the reading material listed in the Lectures section, including solutions to exercises and homeworks, but excluding recommended readings.
Warning: It goes without saying that you are expected to do the exam entirely on your own. You cannot discuss the exam with classmates or anybody else before submitting your solution. If your solution presents any suspicious similarities with somebody else's solution, including solutions you may have found on the internet, and these suspicions prove to be founded, you will be reported to the college and get a 0 for the exam.