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 \newacronym{IDE}{IDE}{Integrated Development Environment}
  15 \newacronym{TCP}{TCP}{Transmission Control Protocol}
  16 \newglossaryentry{Clean}{name=Clean,
  17         description={is a pure lazy functional programming language based on graph
  18                 rewriting}}
  19 \newglossaryentry{iTasks}{name=iTasks,
  20         description={is a \acrshort{TOP} implementation written as a \acrshort{EDSL}
  21         in the \gls{Clean} programming language}}
  22 \newglossaryentry{Task}{name=Task,
  23         description={is the basic building block of a \acrshort{TOP} system}}
  24 \newglossaryentry{mTask}{name=mTask,
  25         description={is an abstraction for \glspl{Task} living on \acrshort{IoT} devices}}
  26 \newglossaryentry{C}{name=C,
  27         description={is low-level programming language suitable for embedded devices}}
  28
  29 \begin{document}
  30 \frontmatter{}
  31
  32 %Titlepage
  33 \maketitleru[
  34         pagenr=1,
  35         course={Master Thesis},
  36         institute={Radboud University Nijmegen},
  37         authorstext={Author:},
  38         righttextheader={Supervisors:},
  39         righttext={prof.~dr.~dr.h.c.~ir.~M.J.~Plasmeijer\\dr.~P.W.M.~Koopman}]
  40 \listoftodos[Todo]
  41
  42 \glsaddall{}
  43
  44 %Abstract
  45 \chapter*{\centering Abstract}
  46 \begin{quotation}
  47         \centering\noindent
  48         \input{abstract.tex}
  49 \end{quotation}
  50
  51 \chapter*{\centering Acknowledgements}
  52 \begin{quotation}
  53         \centering\it\noindent
  54         \input{acknowledgements.tex}
  55 \end{quotation}
  56
  57 %Table of contents
  58 \tableofcontents
  59
  60 \mainmatter{}
  61 \glsresetall{}
  62 \chapter{Introduction}\label{chp:introduction}
  63 \input{introduction.tex}
  64
  65 \chapter{Methods}\label{chp:methods}
  66 \input{methods.tex}
  67
  68 \chapter{Results}\label{chp:results}
  69 \input{results.tex}
  70
  71 \chapter{Conclusion \& Discussion}
  72 \label{chp:conclusion}
  73
  74 \appendix\label{chp:appendix}
  75 \chapter{Planning}\label{app:planning}
  76 \input{appendix-planning.tex}
  77
  78 \chapter{Communication protocol}\label{app:communication-protocol}
  79 \input{appendix-protocol.tex}
  80
  81 \chapter{Device client interface}\label{app:device-interface}
  82 \input{appendix-device-interface.tex}
  83
  84 \cleardoublepage{}
  85 \phantomsection{}
  86 \addcontentsline{toc}{chapter}{Lists of \ldots}
  87 \begingroup
  88 \let\clearpage\relax
  89 \listoffigures
  90 \listoftables
  91 \lstlistoflistings{}
  92 \endgroup
  93
  94 \cleardoublepage{}
  95 \addcontentsline{toc}{chapter}{Glossaries \& Acronyms}
  96
  97 \begingroup
  98 \let\clearpage\relax
  99 \let\cleardoublepage\relax
 100 \printglossaries%
 101 \endgroup
 102
 103 \bibliographystyle{ieeetr}
 104 \bibliography{thesis}
 105 \end{document}