thesis.tex

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