process notes in first sections

[msc-thesis1617.git] / thesis.tex

diff --git a/thesis.tex b/thesis.tex
index 4158a1b..c4aaa01 100644 (file)
--- a/thesis.tex
+++ b/thesis.tex
@@ -2,20 +2,28 @@
 \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}
-\newglossaryentry{Clean}{%
-       name=Clean,
+\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}
+\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 in the \gls{Clean}
-               programming language}
-}
-
+               rewriting}}
+\newglossaryentry{iTasks}{name=iTasks,
+       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 \glspl{Task} living on \acrshort{IoT} devices}}
+\newglossaryentry{C}{name=C,
+       description={is low-level programming language suitable for embedded devices}}
 
 \begin{document}
 \frontmatter{}
@@ -33,10 +41,16 @@
 %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
 
@@ -45,19 +59,30 @@
 \printglossaries%
 
 \mainmatter{}
-\chapter{Introduction}
+\glsresetall
+\chapter{Introduction}\label{chp:introduction}
 \input{introduction.tex}
 
-\chapter{Methods}
+\chapter{Methods}\label{chp:methods}
 \input{methods.tex}
 
-\chapter{Results}
-\chapter{Conclusion \& Discussion}
+\chapter{Results}\label{chp:results}
+\chapter{Conclusion \& Discussion}\label{chp:conclusion}
+
+\appendix\label{chp:appendix}
+\chapter{Planning}\label{app:planning}
+\input{appendix-planning.tex}
 
-\appendix
-\chapter{Communication protocol}
+\chapter{Communication protocol}\label{app:communication-protocol}
 \input{appendix-protocol.tex}
 
+\chapter{Device client interface}\label{app:device-interface}
+\input{appendix-device-interface.tex}
+
+\lstlistoflistings{}
+\listoffigures{}
+\listoftables{}
+
 \bibliographystyle{ieeetr}
 \bibliography{thesis}
 \end{document}