Differences

This shows you the differences between two versions of the page.

--- grades [2012/03/27 17:29] – jonathan
+++ grades [2012/04/04 15:10] (current) – jonathan
@@ Line 35: / Line 35: @@
   - The Event-B model with all the refinement steps is the mathematical model.
   - Descibe where the atomic R/E descriptions (#1) are specified in the Event-B mathematical model (e.g. as axioms, theorems, invariants, events etc.).
-  - The final Event-B refinement should be to the point where you can use the merging rules to obtain code for the ''remind'' routine. We will discuss the ''add_birthday'' routine in class.
+  - The final Event-B refinement should be to the point where you can use the merging rules to obtain code for the ''remind'' ''routine''. We will discuss the ''add_birthday'' routine in class. Show the final code for remind using the merging rules.
   - Deliverables. (a) your complete Event-B model with all POs discharged submitted as a zip file (**birthdaybook.zip**). (b) (A written report **birthdaybook.pdf** that contains (i) the E/R descriptions, (ii) printed version of the Event-B model (use Latex to generate this) and (iii) the final code and how you used the merging rules to obtain the code.
-** Electronic submision**: submit -l 3341 birthdaybook.zip birthdaybook.pdf
+** Electronic submision**: ''submit -l 3341 project birthdaybook.zip birthdaybook.pdf''
 **Written submision**: Print out your report (birthdaybook.pdf) and place it in the course dropbox.
-====== Exam details ======
+**Project Due**: April 2, 2012 (**noon, strict deadline**)
-You may bring 3 sheets (US Letter size, written on both sides) of your own notes into the exam.  Otherwise it is a closed book exam.
-You may want to make the first two sheets the Event-B summary, with your own annotations. The third sheet may be any additional notes as required.
+====== Exam details ======
+You may bring 3 sheets (US Letter size, written on both sides) of your own notes into the exam.  Otherwise it is a closed book exam. The first two sheets are the Event-B notation summary which you may annotate. The third sheet may be any additional notes as required.
-The Exam will be on all the material noted in the course outline. This includes material covered in the lectures, slides and required readings from the textbook, **exercises**, assignments and labtests.
+The Exam will be on all the material noted in the course outline, material covered in the lectures, slides and required readings from the textbook, **exercises**, assignments and labtests. The exam is 3 hours. A sample 2 hour exam is available on the SVN; our exam is unlikely to include questions from the samples.
@@ Line 53: / Line 53: @@
 You can view your marks
-[[https://www.cse.yorku.ca/~roumani/ePost/server/ep.cgi?year=2010-11&term=W&course=3341|here]].
+[[https://www.cse.yorku.ca/~roumani/ePost/server/ep.cgi?year=2011-12&term=W&course=3341|here]].