Differences

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

--- start [2019/05/14 19:09] – jonathan
+++ start [2020/01/07 16:03] (current) – jonathan
@@ Line 1: / Line 1: @@
 ~~NOTOC~~
-====== EECS3342-W19 System Specification and Refinement  ======
+====== EECS3342-W20 System Specification and Refinement  ======
+This course wiki is under construction and reflects what was done last year. It will be updated at the start of the W20 term.
+{{:underconstruction.jpeg|}}
 EECS3342 **Winter 2019** Specification and Refinement
-[[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.
+[[https://www.youtube.com/watch?v=fSWZWXx5ixc|Video introducing Event-B/Rodin (Abrial)]].
+**Lab0 has been released for this week**. Login and obtain Lab0 from the SVN tab in the sidebar.
 ===== Getting Started =====
   * EECS3342 System Specification and Refinement Lecture Times:
-    * Class TR 11.30am, Bergeron 311
+    * Class TR 11.30am, LSB105
     * **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.4''. See [[:resources|Resources]]. On an EECS/Linux workstation, type rodin (which is aliased to Rodin 3.4).
@@ Line 88: / Line 93: @@
 {{: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.
+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.