Differences

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

--- grades [2012/03/15 01:07] – jonathan
+++ grades [2012/04/04 15:10] (current) – jonathan
@@ Line 23: / Line 23: @@
   * 15% - Labtest 1 (Feb 28, 11.30-1.30pm in SEL)
   * 15% - Labtest 2 (Tuesday March 27 11.30am in SEL)
-  * 20% - Project. Due: April 2, 2012
+  * 20% - Project. Due: April 2, 2012 (**noon, strict deadline**)
   * 50% - Final Exam Wed, 4 Apr 2012  9:00 180 CB 120
-For the project you must do the birthday book Ex 13.
+====== Project ======
-====== 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.
-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.
+For the project you must do the birthday book Exercise 13. You must submit your Rodin development (all POs discharged) as well as a written report with a requirements document (including atomic R/E-descriptions).
+  - Write out the atomic R and E-descriptions (e.g. as we have seen for the Bridge and FTP examples).
+  - 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. 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 project birthdaybook.zip birthdaybook.pdf''
+**Written submision**: Print out your report (birthdaybook.pdf) and place it in the course dropbox.
+**Project Due**: April 2, 2012 (**noon, strict deadline**)
+====== 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 41: / 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]].