Differences

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

--- grades [2012/03/29 15:27] – 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.
@@ 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]].