X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=thesis.tex;h=7861e6a23a7b4de348ee8ccecc16c462cbaeb82b;hb=96c38eaced38e4a3cb8df44ec54b778a1dc11b24;hp=d6f997349688b2408d5ced416df9ee39507d81af;hpb=e2defb43413b007075334611e533569380828350;p=msc-thesis1617.git diff --git a/thesis.tex b/thesis.tex index d6f9973..7861e6a 100644 --- a/thesis.tex +++ b/thesis.tex @@ -1,8 +1,9 @@ -%&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} @@ -12,6 +13,7 @@ \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}} @@ -57,17 +59,30 @@ \tableofcontents \mainmatter{} -\glsresetall +\glsresetall{} \chapter{Introduction}\label{chp:introduction} \input{introduction.tex} -\chapter{Methods}\label{chp:methods} -\input{methods.tex} +\chapter{\acrlong{TOP}}\label{chp:top} +\input{methods.top.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} @@ -77,9 +92,9 @@ \chapter{Device client interface}\label{app:device-interface} \input{appendix-device-interface.tex} -\cleardoublepage -\phantomsection -\addcontentsline{toc}{chapter}{List of \ldots} +\cleardoublepage{} +\phantomsection{} +\addcontentsline{toc}{chapter}{Lists of \ldots} \begingroup \let\clearpage\relax \listoffigures @@ -87,7 +102,7 @@ \lstlistoflistings{} \endgroup -\cleardoublepage +\cleardoublepage{} \addcontentsline{toc}{chapter}{Glossaries \& Acronyms} \begingroup