Differences

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

--- start [2019/01/02 17:40] – jonathan
+++ start [2019/05/14 19:10] (current) – jonathan
@@ Line 4: / Line 4: @@
 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 =====
@@ 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.