X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=thesis.tex;h=7861e6a23a7b4de348ee8ccecc16c462cbaeb82b;hb=96c38eaced38e4a3cb8df44ec54b778a1dc11b24;hp=4390086350b08c7c7544c97cf28933d32c0b4578;hpb=6dca5a0ebb686cc11b0cb90f98c3d8347d0b7eeb;p=msc-thesis1617.git diff --git a/thesis.tex b/thesis.tex index 4390086..7861e6a 100644 --- a/thesis.tex +++ b/thesis.tex @@ -1,19 +1,31 @@ -%&thesis +%&output/thesis \usepackage[nonumberlist,acronyms]{glossaries} \makeglossaries% +\newacronym{GADT}{GADT}{Generalized Algebraic Datatype} +\newacronym{GPIO}{GPIO}{General-Purpose Input/Output} +\newacronym{ADT}{ADT}{Algebraic Datatype} \newacronym{SDS}{SDS}{Shared Data Source} \newacronym{IoT}{IoT}{Internet of Things} \newacronym{TOP}{TOP}{Task Oriented Programming} -\newacronym{DSL}{DSL}{Design Specific Language} +\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} +\newacronym{TCP}{TCP}{Transmission Control Protocol} \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 as a \acrshort{DSL} + 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 tasks living on \acrshort{IoT} devices}} + 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{} @@ -28,37 +40,77 @@ righttext={prof.~dr.~dr.h.c.~ir.~M.J.~Plasmeijer\\dr.~P.W.M.~Koopman}] \listoftodos[Todo] +\glsaddall{} + %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 -%Glossaries -\glsaddall{} -\printglossaries% - \mainmatter{} +\glsresetall{} \chapter{Introduction}\label{chp:introduction} \input{introduction.tex} -\chapter{Theoretical Framework}\label{chp:theoretical-framework} -\input{theoretical-framework.tex} +\chapter{\acrlong{TOP}}\label{chp:top} +\input{methods.top.tex} -\chapter{Methods}\label{chp:methods} -\input{methods.tex} +\chapter{\acrlongpl{EDSL}}\label{chp:dsl} +\input{methods.dsl.tex} + +\chapter{mTask}\label{chp:mtask} +\input{methods.mtask.tex} + +\chapter{Architecture}\label{chp:arch} +\input{results.arch.tex} + +\chapter{mTask continued}\label{chp:mtaskcont} +\input{results.mtask.tex} -\chapter{Results}\label{chp:results} \chapter{Conclusion \& Discussion}\label{chp:conclusion} +\input{conclusion.tex} \appendix\label{chp:appendix} + +\chapter{Planning}\label{app:planning} +\input{appendix-planning.tex} + \chapter{Communication protocol}\label{app:communication-protocol} \input{appendix-protocol.tex} +\chapter{Device client interface}\label{app:device-interface} +\input{appendix-device-interface.tex} + +\cleardoublepage{} +\phantomsection{} +\addcontentsline{toc}{chapter}{Lists of \ldots} +\begingroup +\let\clearpage\relax +\listoffigures +\listoftables +\lstlistoflistings{} +\endgroup + +\cleardoublepage{} +\addcontentsline{toc}{chapter}{Glossaries \& Acronyms} + +\begingroup +\let\clearpage\relax +\let\cleardoublepage\relax +\printglossaries% +\endgroup + \bibliographystyle{ieeetr} \bibliography{thesis} \end{document}