update
[msc-thesis1617.git] / thesis.tex
1 %&thesis
2 \usepackage[nonumberlist,acronyms]{glossaries}
3 \makeglossaries%
4
5 \newacronym{GADT}{GADT}{Generalized Algebraic Datatype}
6 \newacronym{GPIO}{GPIO}{General-Purpose Input/Output}
7 \newacronym{ADT}{ADT}{Algebraic Datatype}
8 \newacronym{SDS}{SDS}{Shared Data Source}
9 \newacronym{IoT}{IoT}{Internet of Things}
10 \newacronym{TOP}{TOP}{Task Oriented Programming}
11 \newacronym{EDSL}{(E)DSL}{(Embedded) Design Specific Language}
12 \newacronym{RISC}{RISC}{Reduced Instruction Set Computer}
13 \newacronym{ARM}{ARM}{Acorn \acrshort{RISC} Machine}
14 \newacronym{LTN}{LTN}{Low Throughput Network}
15 \newacronym{IDE}{IDE}{Integrated Development Environment}
16 \newacronym{TCP}{TCP}{Transmission Control Protocol}
17 \newglossaryentry{Clean}{name=Clean,
18 description={is a pure lazy functional programming language based on graph
19 rewriting}}
20 \newglossaryentry{iTasks}{name=iTasks,
21 description={is a \acrshort{TOP} implementation written as a \acrshort{EDSL}
22 in the \gls{Clean} programming language}}
23 \newglossaryentry{Task}{name=Task,
24 description={is the basic building block of a \acrshort{TOP} system}}
25 \newglossaryentry{mTask}{name=mTask,
26 description={is an abstraction for \glspl{Task} living on \acrshort{IoT} devices}}
27 \newglossaryentry{C}{name=C,
28 description={is low-level programming language suitable for embedded devices}}
29
30 \begin{document}
31 \frontmatter{}
32
33 %Titlepage
34 \maketitleru[
35 pagenr=1,
36 course={Master Thesis},
37 institute={Radboud University Nijmegen},
38 authorstext={Author:},
39 righttextheader={Supervisors:},
40 righttext={prof.~dr.~dr.h.c.~ir.~M.J.~Plasmeijer\\dr.~P.W.M.~Koopman}]
41 \listoftodos[Todo]
42
43 \glsaddall{}
44
45 %Abstract
46 \chapter*{\centering Abstract}
47 \begin{quotation}
48 \centering\noindent
49 \input{abstract.tex}
50 \end{quotation}
51
52 \chapter*{\centering Acknowledgements}
53 \begin{quotation}
54 \centering\it\noindent
55 \input{acknowledgements.tex}
56 \end{quotation}
57
58 %Table of contents
59 \tableofcontents
60
61 \mainmatter{}
62 \glsresetall{}
63 \chapter{Introduction}\label{chp:introduction}
64 \input{introduction.tex}
65
66 \chapter{Methods}\label{chp:methods}
67 \input{methods.tex}
68
69 \chapter{Results}\label{chp:results}
70 \input{results.tex}
71
72 \chapter{Conclusion \& Discussion}\label{chp:conclusion}
73 \input{conclusion.tex}
74
75 \appendix\label{chp:appendix}
76
77 \chapter{Planning}\label{app:planning}
78 \input{appendix-planning.tex}
79
80 \chapter{Communication protocol}\label{app:communication-protocol}
81 \input{appendix-protocol.tex}
82
83 \chapter{Device client interface}\label{app:device-interface}
84 \input{appendix-device-interface.tex}
85
86 \cleardoublepage{}
87 \phantomsection{}
88 \addcontentsline{toc}{chapter}{Lists of \ldots}
89 \begingroup
90 \let\clearpage\relax
91 \listoffigures
92 \listoftables
93 \lstlistoflistings{}
94 \endgroup
95
96 \cleardoublepage{}
97 \addcontentsline{toc}{chapter}{Glossaries \& Acronyms}
98
99 \begingroup
100 \let\clearpage\relax
101 \let\cleardoublepage\relax
102 \printglossaries%
103 \endgroup
104
105 \bibliographystyle{ieeetr}
106 \bibliography{thesis}
107 \end{document}