From 8c954ee2ea6c0b3211d99077913c8c01f066a53b Mon Sep 17 00:00:00 2001
From: Jannik Dunkelau <jannik.dunkelau@hhu.de>
Date: Mon, 23 Oct 2023 12:50:11 +0200
Subject: [PATCH] Fix overfull hboxes in appendix
---
appendix.tex | 21 +++++++++++++--------
1 file changed, 13 insertions(+), 8 deletions(-)
diff --git a/appendix.tex b/appendix.tex
index b5b1528..d6655a4 100644
--- a/appendix.tex
+++ b/appendix.tex
@@ -42,14 +42,15 @@ in denen die vorgestellten Forschungsartikel gesammelt werden.
\begin{figure}
\centering
\includegraphics[scale=.5]{fig/prob-springer.png}
- \caption{Screenshot von \url{https://link.springer.com/chapter/10.1007/978-3-540-45236-2_46}}
+ \caption[Screenshot von \url{https://link.springer.com}]{
+ Screenshot von \url{https://link.springer.com/chapter/10.1007/978-3-540-45236-2_46}}%
\label{fig:prob-springer}
\end{figure}
Ein Beispiel ist der Artikel von Leuschel und Butler zu \textsc{ProB}~\cite{leuschel2003prob}.
In \cref{fig:prob-springer} sind die wichtigen Informationen für den Bibtex-Eintrag zu finden,
die Sie auf jeden Fall angeben sollten.
-Ein Beispiel für einen passenden Bibtex-Eintrag lautet wie folgt (hier wird der \verb|InProceedings|-Typ verwendet:
+Ein Beispiel für einen passenden Bibtex-Eintrag lautet wie folgt (hier wird der \verb|InProceedings|-Typ verwendet):
\begin{verbatim}
@InProceedings(leuschel2003prob,
@@ -76,7 +77,7 @@ oder Mischformen.
Wichtig ist, dass erkenntlich ist, zu welcher Konferenz aus welchem Jahr der Tagungsband stammt.
\paragraph{Year.} Leider erscheinen die Proceedings nicht unbedingt im selben Jahr wie die Konferenz selbst.
Daher ist auch das Jahr der Veröffentlichung anzugeben.
-\paragraph{Series und Volume}. Proceedings vom Springer-Verlag erscheinen in der Regel in einer Reihe.
+\paragraph{Series und Volume}. Proceedings vom Springer-Verlag erscheinen in der Regel in einer Reihe.
Üblich sind die LNCS (Lecture Notes in Computer Science). Darin erhalten sie auch eine Nummer, um sie eindeutig zu identifizieren.
Es gibt aber auch andere Reihen (z.B. LNAI oder CCIS); manchmal werden Tagungsbände auch mehreren Reihen zugeordnet.
Andere Herausgeber haben keine solche Reihe --- dann fallen diese Einträge weg.
@@ -97,7 +98,8 @@ Darin findet man unter anderem den folgenden Artikel:
\begin{verbatim}
@InCollection(Leuschel2021,
Author = {Leuschel, Michael},
- Title = {{Spot the Difference: A Detailed Comparison Between B and Event-B}},
+ Title = {Spot the Difference: A Detailed Comparison Between {B}
+ and Event-{B}},
Booktitle = {Logic, Computation and Rigorous Methods},
Publisher = {Springer},
Year = 2021,
@@ -127,7 +129,8 @@ allerdings ist der Typ hier \verb|Article|.
Title = {{ProB}: An Automated Analysis Toolset for the {B} Method},
Year = 2008,
Month = mar,
- Journal = {International Journal on Software Tools for Technology Transfer},
+ Journal = {International Journal on Software Tools for
+ Technology Transfer},
Volume = 10,
Pages = {185--203},
Number = 2
@@ -136,7 +139,7 @@ allerdings ist der Typ hier \verb|Article|.
\paragraph{Title, Author, Pages, Year.} Diese Einträge sollten wieder selbsterklärend sein.
\paragraph{Journal.} Die Artikel werden in einem Journal veröffentlicht, das einen Namen hat.
-Hier gibt es in der Regel auch etablierte Abkürzungen (wie etwa \enquote{STTT} für
+Hier gibt es in der Regel auch etablierte Abkürzungen (wie etwa \enquote{STTT} für
\enquote{International Journal on Software Tools for Technology Transfer}).
Das Format sollte hier auch einheitlich sein.
\paragraph{Volume und Number.} Journal-Artikel werden meist gesammelt periodisch veröffentlicht.
@@ -169,7 +172,8 @@ Falls Sie eine Bachelorarbeit zitieren möchten, können Sie auch den Typen \ver
\begin{verbatim}
@MastersThesis(eulynx_ma,
Author = {Abdul Rasheeq},
- Title = {{An Approach To Improve SysML Railway Specification Using UML-B And Event-B}},
+ Title = {An Approach To Improve {SysML} Railway Specification
+ Using {UML-B} And Event-{B}},
School = {Frankfurt University of Applied Sciences},
Year = 2019
)
@@ -178,7 +182,8 @@ Falls Sie eine Bachelorarbeit zitieren möchten, können Sie auch den Typen \ver
\begin{verbatim}
@PhDThesis(nummenmaa2013executable,
Author = {Nummenmaa, Timo},
- Title = {{Executable formal specifications in game development: Design, validation and evolution}},
+ Title = {Executable formal specifications in game development:
+ Design, validation and evolution},
School = {University of Tampere},
Year = 2013
)
--
GitLab