X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=thesis.tex;h=eb150e9d7b9217ff89e6c445ebe62ee40df77115;hb=a0fc5b24e17c83d05fa5cb95e855e784abac8f3e;hp=4390086350b08c7c7544c97cf28933d32c0b4578;hpb=6dca5a0ebb686cc11b0cb90f98c3d8347d0b7eeb;p=msc-thesis1617.git

diff --git a/thesis.tex b/thesis.tex
index 4390086..eb150e9 100644
--- a/thesis.tex
+++ b/thesis.tex
@@ -2,18 +2,29 @@
 \usepackage[nonumberlist,acronyms]{glossaries}
 \makeglossaries%
 
+\newacronym{GADT}{GADT}{Generalized Algebraic Datatype}
+\newacronym{ADT}{ADT}{Algebraic Datatype}
 \newacronym{SDS}{SDS}{Shared Data Source}
 \newacronym{IoT}{IoT}{Internet of Things}
 \newacronym{TOP}{TOP}{Task Oriented Programming}
-\newacronym{DSL}{DSL}{Design Specific Language}
+\newacronym{EDSL}{(E)DSL}{(Embedded) Design Specific Language}
+\newacronym{RISC}{RISC}{Reduced Instruction Set Computer}
+\newacronym{ARM}{ARM}{Acorn \acrshort{RISC} Machine}
+\newacronym{LTN}{LTN}{Low Throughput Network}
+\newacronym{IDE}{IDE}{Integrated Development Environment}
+\newacronym{TCP}{TCP}{Transmission Control Protocol}
 \newglossaryentry{Clean}{name=Clean,
 	description={is a pure lazy functional programming language based on graph
 		rewriting}}
 \newglossaryentry{iTasks}{name=iTasks,
-	description={is a \acrshort{TOP} implementation written as a \acrshort{DSL}
+	description={is a \acrshort{TOP} implementation written as a \acrshort{EDSL}
 	in the \gls{Clean} programming language}}
+\newglossaryentry{Task}{name=Task,
+	description={is the basic building block of a \acrshort{TOP} system}}
 \newglossaryentry{mTask}{name=mTask,
-	description={is an abstraction for tasks living on \acrshort{IoT} devices}}
+	description={is an abstraction for \glspl{Task} living on \acrshort{IoT} devices}}
+\newglossaryentry{C}{name=C,
+	description={is low-level programming language suitable for embedded devices}}
 
 \begin{document}
 \frontmatter{}
@@ -28,27 +39,29 @@
 	righttext={prof.~dr.~dr.h.c.~ir.~M.J.~Plasmeijer\\dr.~P.W.M.~Koopman}]
 \listoftodos[Todo]
 
+\glsaddall{}
+
 %Abstract
 \chapter*{\centering Abstract}
 \begin{quotation}
-	\centering\it\noindent
+	\centering\noindent
 	\input{abstract.tex}
 \end{quotation}
 
+\chapter*{\centering Acknowledgements}
+\begin{quotation}
+	\centering\it\noindent
+	\input{acknowledgements.tex}
+\end{quotation}
+
 %Table of contents
 \tableofcontents
 
-%Glossaries
-\glsaddall{}
-\printglossaries%
-
 \mainmatter{}
+\glsresetall{}
 \chapter{Introduction}\label{chp:introduction}
 \input{introduction.tex}
 
-\chapter{Theoretical Framework}\label{chp:theoretical-framework}
-\input{theoretical-framework.tex}
-
 \chapter{Methods}\label{chp:methods}
 \input{methods.tex}
 
@@ -56,9 +69,34 @@
 \chapter{Conclusion \& Discussion}\label{chp:conclusion}
 
 \appendix\label{chp:appendix}
+\chapter{Planning}\label{app:planning}
+\input{appendix-planning.tex}
+
 \chapter{Communication protocol}\label{app:communication-protocol}
 \input{appendix-protocol.tex}
 
+\chapter{Device client interface}\label{app:device-interface}
+\input{appendix-device-interface.tex}
+
+\cleardoublepage{}
+\phantomsection{}
+\addcontentsline{toc}{chapter}{List of \ldots}
+\begingroup
+\let\clearpage\relax
+\listoffigures
+\listoftables
+\lstlistoflistings{}
+\endgroup
+
+\cleardoublepage{}
+\addcontentsline{toc}{chapter}{Glossaries \& Acronyms}
+
+\begingroup
+\let\clearpage\relax
+\let\cleardoublepage\relax
+\printglossaries%
+\endgroup
+
 \bibliographystyle{ieeetr}
 \bibliography{thesis}
 \end{document}