thesis.tex

   1 %&output/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{\acrlong{TOP}}\label{chp:top}
  67 \input{methods.top.tex}
  68
  69 \chapter{\acrlongpl{EDSL}}\label{chp:dsl}
  70 \input{methods.dsl.tex}
  71
  72 \chapter{mTask}\label{chp:mtask}
  73 \input{methods.mtask.tex}
  74
  75 \chapter{Architecture}\label{chp:arch}
  76 \input{results.arch.tex}
  77
  78 \chapter{mTask continued}\label{chp:mtaskcont}
  79 \input{results.mtask.tex}
  80
  81 \chapter{Conclusion \& Discussion}\label{chp:conclusion}
  82 \input{conclusion.tex}
  83
  84 \appendix\label{chp:appendix}
  85
  86 \chapter{Planning}\label{app:planning}
  87 \input{appendix-planning.tex}
  88
  89 \chapter{Communication protocol}\label{app:communication-protocol}
  90 \input{appendix-protocol.tex}
  91
  92 \chapter{Device client interface}\label{app:device-interface}
  93 \input{appendix-device-interface.tex}
  94
  95 \cleardoublepage{}
  96 \phantomsection{}
  97 \addcontentsline{toc}{chapter}{Lists of \ldots}
  98 \begingroup
  99 \let\clearpage\relax
 100 \listoffigures
 101 \listoftables
 102 \lstlistoflistings{}
 103 \endgroup
 104
 105 \cleardoublepage{}
 106 \addcontentsline{toc}{chapter}{Glossaries \& Acronyms}
 107
 108 \begingroup
 109 \let\clearpage\relax
 110 \let\cleardoublepage\relax
 111 \printglossaries%
 112 \endgroup
 113
 114 \bibliographystyle{ieeetr}
 115 \bibliography{thesis}
 116 \end{document}