Differences

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

--- start [2016/12/27 20:59] – jonathan
+++ start [2018/02/09 16:07] (current) – jonathan
@@ Line 1: / Line 1: @@
 ~~NOTOC~~
-====== EECS3342 2017W System Specification and Refinement  ======
+====== EECS3342 2018W System Specification and Refinement  ======
-EECS3342 **Winter 2017** Specification and Refinement
+EECS3342 **Winter 2018** Specification and Refinement
 [[https://www.youtube.com/watch?v=fSWZWXx5ixc|Video introducing Event-B/Rodin]]
@@ Line 9: / Line 9: @@
   * EECS3342 System Specification and Refinement Lecture Times:
-    * Class TR 11.30am, LSB 107 (Life Science Building). <hi>From the second class and onwards we may be moving to Bergeron 213</hi>. Check here (or on the forum) for announcement.
+    * Class TR 11.30am, Bergeron 211
-    * **Scheduled Labs**: Every Tuesday 1pm to 2pm in LAS 1004. Labs attendance is required and there will be required labs, and a quiz almost every week, and Labtests during some of the sessions. <hi> The first lab is due Tuesday Jan 10, and the first Quiz will be on Tuesday Jan 17th, during the Lab</hi>
+    * **Scheduled Labs**: Every Tuesday 1pm to 2pm in LAS 10042. Lab attendance is required and there will be required labs, and a quiz almost every week, and Labtests during some of the sessions.
-    * In the Lab, we now use Rodin 3.2.
+    * In the Lab, we now use ''rodin3.3''. See [[:resources|Resources]].
   * **Important**: Subscribe to the forum for the latest announcements. Please ask all questions relating to the course material on the forum (not via email). For all other questions, see me during office hours.
@@ Line 84: / Line 84: @@
 . Thinking before Programming using Lamport’s TLA+ specification method
-===== Grades =====
-  * [30%] Weekly quizzes. There will be about 8 weekly quizzes (almost every week). The first 2 quizzes each count 3%. The last 6 quizzes each count 4%. On condition that the Lab work is completed. Quizzes will be based on the Labs, lectures and required readings of the preceding weeks.
-  * [15%] LabTest after reading week.
-  * [15%] Project (working in a team of no more than two students)
-  * [40%] Final exam
-It is required that you attend and complete the work allocated in the weekly Lab session in preparation for the Quizzes, Labtest, Project and Exam. <hi> Labs must be completed by their due date in order for you to receive credit for the Quizzes</hi>