Differences

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

--- start [2019/01/02 17:40] – 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]]
+[[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 84: / Line 89: @@
 . 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.