feat(dissertation): add checklist tester subsection for decisions section

pub/dissertation/chapters/design.tex

@@ -76,4 +76,22 @@
   \item The choice was to create a VDMJ wrapper, as the modules are available on Maven
 \end{itemize}
 
+\subsection{Checklist Tester}
+\begin{itemize}
+  \item VDMJ uses Java, meaning the logical choice would be to use something with Java
+  \item As the tester is going to include a UI, the language choice was still important
+  \item Kotlin~\cite{kotlin} was the choice in the end as Google has been putting Kotlin first
+    compared to Java, it includes less boilerplate code (e.g. getters and setters)~\cite{android-kotlin}
+  \item There are a variety of GUI libraries to consider using
+    \begin{itemize}
+      \item JavaFX~\cite{javafx}
+      \item Swing~\cite{flatlaf}
+      \item Compose Multiplatform~\cite{compose}
+    \end{itemize}
+  \item The decision was to use Compose Multiplatform in the end, due to time limitations and
+    having prior experience in using Flutter~\cite{flutter}
+  \item Compose Multiplatform has the ability to create a desktop application and a server,
+    which would allow for leeway if a server would be needed
+\end{itemize}
+
 \end{document}

pub/dissertation/references.bib

@@ -114,3 +114,52 @@
   year = {2016},
 }
 
+@online{kotlin,
+  author = {JetBrains s.r.o.},
+  title = {Kotlin},
+  url = {https://kotlinlang.org/},
+  urldate = {2024-04-21},
+}
+
+@online{android-kotlin,
+  author = {Google LLC},
+  title = {Develop Android apps with Kotlin},
+  url = {https://developer.android.com/kotlin},
+  urldate = {2024-04-21},
+}
+
+@online{compose,
+  author = {JetBrains s.r.o.},
+  title = {Compose Multiplatform UI Framework},
+  url = {https://www.jetbrains.com/lp/compose-multiplatform/},
+  urldate = {2024-04-21},
+}
+
+@online{jetpack-compose,
+  author = {Google LLC},
+  title = {Jetpack Compose UI App Development Toolkit - Android Developers},
+  url = {https://developer.android.com/develop/ui/compose},
+  urldate = {2024-04-21},
+}
+
+@online{javafx,
+  author = {OpenJFX},
+  title = {JavaFX},
+  url = {https://openjfx.io/},
+  urldate = {2024-04-21},
+}
+
+@online{flatlaf,
+  author = {FormDev Software GmbH},
+  title = {FlatLaf},
+  url = {https://www.formdev.com/flatlaf/},
+  urldate = {2024-04-21},
+}
+
+@online{flutter,
+  author = {Google LLC},
+  title = {Flutter - Build apps for any screen},
+  url = {https://flutter.dev/},
+  urldate = {2024-04-21},
+}
+