Merge branch 'master' of dev:/home/robin/git/thesis

2011-09-29 14:27:39 +01:00 · 2011-09-29 14:27:39 +01:00 · e0b2c99fae
commit e0b2c99fae
parent a8be83d9f8 321a075cff
2 changed files with 3 additions and 0 deletions
--- a/presentations/System_safety_2011/presentation.odp
+++ b/presentations/System_safety_2011/presentation.odp
--- a/sw_model/sw_model.tex
+++ b/sw_model/sw_model.tex
@ -215,6 +215,9 @@ the analysis stage; the symptoms, and finally the derived component.
 Now diagram showing software function,
 with pre-conditions, invariants and post conditions.

+define postcondition.
+define pre-condition:
+define invariant:

 Now an integrated diagram, showing the 
 pre-condition violations as failure modes