Differences

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

--- start [2018/01/09 04:28] – jonathan
+++ start [2019/05/14 19:10] (current) – jonathan
@@ Line 1: / Line 1: @@
 ~~NOTOC~~
-====== EECS3342 2018W System Specification and Refinement  ======
+====== EECS3342-W19 System Specification and Refinement  ======
-EECS3342 **Winter 2018** Specification and Refinement
+EECS3342 **Winter 2019** Specification and Refinement
-[[https://www.youtube.com/watch?v=fSWZWXx5ixc|Video introducing Event-B/Rodin]]
+[[https://www.youtube.com/watch?v=fSWZWXx5ixc|Video introducing Event-B/Rodin]]. Do [[ https://wiki.eecs.yorku.ca/course_archi ... #lab0_prep|Lab0 Prep]] and Readings.
 ===== Getting Started =====
   * EECS3342 System Specification and Refinement Lecture Times:
-    * Class TR 11.30am, Bergeron 211
+    * Class TR 11.30am, Bergeron 311
-    * **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.
+    * **Scheduled Labs**: Every Tuesday 1pm to 2pm in LAS1006. Lab attendance is required and there will be required labs, there is a Labtest almost every week.
-    * In the Lab, we now use ''rodin3.2''. See [[:resources|Resources]]. We may switch to ''rodin 3.3''.
+    * In the Lab, we now use ''rodin3.4''. See [[:resources|Resources]]. On an EECS/Linux workstation, type rodin (which is aliased to Rodin 3.4).
   * **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 21: / 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 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.
+  * In the SVN → Readings, 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
@@ Line 84: / Line 84: @@
 . Thinking before Programming using Lamport’s TLA+ specification method
+==== Difference between an Engineer and a Designer ====
+{{:engineer-vs-designer.png?720|}}
+A good model may be used to predict its safety and fitness for purpose -- **before** we start implementing the design. Thus we wish to show that our medical devices, aeroplanes, autonomous cars, power plants etc. are safe and reliable.