Commit Graph

6 Commits

Author SHA1 Message Date
002958ca7b Graphical symptom abstraction first draft after split 2010-08-14 08:12:34 +01:00
Robin
0e1410764a conditional compilation to remove abstract from chapters, and replace them with overview sections 2010-06-12 00:03:16 +01:00
Robin
9aa20b7715 uml model and description of data types 2010-04-12 20:49:09 +01:00
Robin
9ec8e3c08f Edits on a Sunday afternoon 2010-04-11 14:52:50 +01:00
Robin
fd4540a246 Need to do more work on the maths at the end in the algorithm environment.
John Howse said formalisation is not necessary unless you need to prove something.
OK well good.
2010-01-15 20:26:26 +00:00
Robin
bf1f644698 Added Symptom Abstraction. Note this needs removal of some set theory
maths from the algorithm section.
2010-01-15 20:16:06 +00:00