Differences

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

--- start [2016/12/27 20:31] – jonathan
+++ start [2017/01/05 22:34] (current) – jonathan
@@ Line 4: / Line 4: @@
 EECS3342 **Winter 2017** Specification and Refinement
-<hi>UNDER CONSTRUCTION</hi>
+[[https://www.youtube.com/watch?v=fSWZWXx5ixc|Video introducing Event-B/Rodin]]
 ===== Getting Started =====
   * EECS3342 System Specification and Refinement Lecture Times:
-    * Class TR 11.30am, LSB 107 (Life Science Building). From the second class and onwards we may be moving to Bergeron 213. Check here (or on the forum) for announcement.
+    * Class TR 11.30am <hi>From 10 January and onwards, lectures are in Bergeron 213</hi>.
-    * **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 12 by 1.30pm. Quiz 1 is 1.30pm to 1.55pm</hi>
+    * **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 now available, and due Tuesday Jan 17 at 11am, and the first Quiz will be on Tuesday Jan 17th, during the Lab</hi>
-    * In the Lab, we now use Rodin 3.2.
+    * In the Lab, we now use Rodin 3.2. See [[:resources|Resources]]
-  * **Important**: Subscribe to: [[https://forum.cse.yorku.ca/viewforum.php?f=306|3342 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.
+  * **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.
   *See bottom** ↓** of this page for login with your Prism password. Slides are available from the SVN repository (see link in the sidebar, once you have logged on).
@@ Line 22: / Line 21: @@
   *Read the course outline regularly.  It is important to read all the required readings (not all of which are discussed in class). It is important to do the suggested exercises.
-  * In the SVN → Docs, you will find the Rodin 2.8 Manual. Please familiarize yourselves with all the material in the manual, during the first week of classes.
+  * In the SVN → Docs, you will find the PDF for the [[https://www3.hhu.de/stups/handbook/rodin/current/html/|Rodin 2.8 Manual]]. Please familiarize yourselves with all the material in the manual, during the first week of classes.
   * Suggested Text: Jean-Raymond Abrial, //Modeling in Event-B: System and