Differences

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

--- grades [2012/03/27 17:21] – jonathan
+++ grades [2012/04/04 15:10] (current) – jonathan
@@ Line 27: / Line 27: @@
-===== Project =====
+====== Project ======
-For the project you must do the birthday book Ex 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.
-  - Ordered List Item
+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.
-  - The Event-B model 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.
-  - The final Event-B refinement should be to the point where you can use the merging rules to obtain code for the remind routine.
+** Electronic submision**: ''submit -l 3341 project birthdaybook.zip birthdaybook.pdf''
-  - Deliverables. (a) your complete Event-B model with all POs discharged submitted as a zip file. (b) (A written report 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.
+**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.
+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.
-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.
-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 57: / 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]].