robin/Robin_PHD
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

my fish fingers are ready I hope

Browse Source
This commit is contained in:
Robin Clark 2013-08-18 17:34:22 +01:00
parent 6c79532cb9
commit 772b3edef5
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
submission_thesis/style.tex
View File

@ -159,7 +159,7 @@ Sometimes termed `top~down'}}}
A guard on a process such that if a condition is not met, the process may not continue}}}
\newcommand{\fmmdglossSIGPATH}{\glossary{name={signal~path},description={
The components (software or hardware) and connections from whi particular signal or value is derived from in a system}}}
The components (software or hardware) and connections from which a particular signal or value is derived}}}
\newcommand{\fmmdglossRD}{\glossary{name={reasoning~distance},description={
A reasoning distance is the number of stages of logic and reasoning,
@ -175,7 +175,7 @@ analogue electronics only~\cite{smart_instruments_1514209}.}}}
\newcommand{\fmmdglossCONTRACTPROG}{\glossary{name={contract~programming}, description={
A software discipline whereby each function is assigned strict pre and post conditions
which define a formalised `contract' the function's behaviour}}}
which define a formalised `contract' formalising the function's behaviour}}}
%
%\newcommand{\fmmdglossRD}{\glossary{name={reasoning~distance}{yahda yahda ya}}}