start
Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
| start [2019/01/03 21:08] – jonathan | start [2019/05/14 19:10] (current) – jonathan | ||
|---|---|---|---|
| Line 84: | Line 84: | ||
| 12. Thinking before Programming using Lamport’s TLA+ specification method | 12. Thinking before Programming using Lamport’s TLA+ specification method | ||
| - | + | ==== Difference between an Engineer and a Designer ==== | |
| + | |||
| + | {{: | ||
| + | |||
| + | 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. | ||
start.1546549694.txt.gz · Last modified: 2019/01/03 21:08 by jonathan