1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
1.2 +++ b/doc-src/isac/msteger/bakk-arbeit/thesis-title.tex Tue Jun 28 17:08:22 2011 +0200
1.3 @@ -0,0 +1,201 @@
1.4 +% --- English Title Page ------------------------------------------------
1.5 +\begin{titlepage}
1.6 +\begin{center}
1.7 +\vspace*{8mm}
1.8 +{\LARGE Bachelor's Thesis}\\
1.9 +
1.10 +\vspace{16mm}
1.11 +
1.12 +{\huge \bf Userinterfaces for Computer Theorem Prover\\
1.13 + feasibility study in the Isac-projekt\\}
1.14 +
1.15 +\vspace{16mm}
1.16 +
1.17 +{\LARGE Marco Steger\textsuperscript{1}}\\
1.18 +
1.19 +\vspace{16mm}
1.20 +
1.21 +{\Large
1.22 +Institute for Software Technology (IST)\\
1.23 +Graz University of Technology\\
1.24 +A-8010 Graz, Austria\\}
1.25 +
1.26 +\vspace{16mm}
1.27 +
1.28 +%TODO TU - figure; Line 26, 76
1.29 +%\begin{figure}[!ht]
1.30 +%\centerline{\includegraphics[width=4cm,keepaspectratio=true]{fig/tug}}
1.31 +%\end{figure}
1.32 +
1.33 +\vspace{16mm}
1.34 +
1.35 +{\large
1.36 +\begin{tabular}{ll}
1.37 +Advisor: & Ass.Prof. Dipl.-Ing. Dr.techn.\ Bernhard Aichernig\\[0.5ex]
1.38 +%TODO Aichernig????
1.39 +Co-Advisor: & Dr.techn.\ Walther Neuper
1.40 +\end{tabular}}
1.41 +
1.42 +\vfill
1.43 +{\large Graz, 30.05.2011????}
1.44 +\vspace{15mm}
1.45 +\end{center}
1.46 +
1.47 +\noindent
1.48 +\underline{\hspace*{3cm}}\\
1.49 +{\footnotesize
1.50 +\textsuperscript{1} E-mail: m.steger@student.tugraz.at\\
1.51 +\copyright ~ Copyright 2011 by the author}
1.52 +
1.53 +
1.54 +
1.55 +% --- German Title Page -------------------------------------------------
1.56 +\selectlanguage{austrian}
1.57 +
1.58 +\newpage
1.59 +\begin{center}
1.60 +\vspace*{8mm}
1.61 +{\LARGE Bachelorarbeit}\\
1.62 +
1.63 +\vspace{16mm}
1.64 +
1.65 +{\huge \bf Userinterfaces f\"ur Computer Theorem Prover\\
1.66 + Machbarkeits-Studie im Isac-Projekt\\}
1.67 +
1.68 +\vspace{16mm}
1.69 +
1.70 +{\LARGE Marco Steger\textsuperscript{1}}\\
1.71 +
1.72 +\vspace{16mm}
1.73 +
1.74 +{\Large
1.75 +Institut f\"ur Softwaretechnologie (IST)\\
1.76 +Technische Universit\"at Graz\\
1.77 +A-8010 Graz\\}
1.78 +
1.79 +\vspace{16mm}
1.80 +
1.81 +%\begin{figure}[!ht]
1.82 +%\centerline{\includegraphics[width=4cm,keepaspectratio=true]{fig/tug}}
1.83 +%\end{figure}
1.84 +
1.85 +\vspace{16mm}
1.86 +
1.87 +%TODO Aichernig????
1.88 +{\large
1.89 +\begin{tabular}{ll}
1.90 +Gutachter: & Ass.Prof. Dipl.-Ing. Dr.techn.\ Bernhard Aichernig\\[0.5ex]
1.91 +Mitbetreuer: & Dr.techn.\ Walther Neuper
1.92 +\end{tabular}}
1.93 +
1.94 +\vspace{16mm}
1.95 +{\large Graz, 30.05.2011}
1.96 +
1.97 +\vfill
1.98 +Diese Arbeit ist in deutscher Sprache verfasst.
1.99 +\end{center}
1.100 +
1.101 +\noindent
1.102 +\underline{\hspace*{3cm}}\\
1.103 +{\footnotesize
1.104 +\textsuperscript{1} E-Mail: m.steger@student.tugraz.at\\
1.105 +\copyright ~ Copyright 2011, Marco Steger}
1.106 +\end{titlepage}
1.107 +
1.108 +\selectlanguage{english}
1.109 +
1.110 +
1.111 +% --- English Abstract --------------------------------------------------
1.112 +\pagestyle{plain}
1.113 +\pagenumbering{roman}
1.114 +\newpage
1.115 +
1.116 +\vspace*{25mm}
1.117 +
1.118 +\begin{changemargin}{15mm}{15mm}
1.119 +\begin{center}
1.120 +{\Large\bfseries Abstract}
1.121 +\end{center}
1.122 +\vspace*{7mm}
1.123 +
1.124 +Place english abstract here.
1.125 +
1.126 +\vspace{5mm}
1.127 +\noindent
1.128 +{\large\bfseries Keywords:}
1.129 +some english keywords
1.130 +
1.131 +
1.132 +
1.133 +% --- German Abstract ---------------------------------------------------
1.134 +\selectlanguage{austrian}
1.135 +\newpage
1.136 +
1.137 +\vspace*{10mm}
1.138 +
1.139 +\begin{center}
1.140 +{\Large\bfseries Kurzfassung}
1.141 +\end{center}
1.142 +\vspace*{2mm}
1.143 +
1.144 +Der Theoremprover Isabelle befindet sich im \"Ubergang von einer Oberfl\"ache f\"ur akademische Benutzer zu einem generellen Frontend, das in verschiedenste softwaretechnische Tools eingebunden werden kann.
1.145 +
1.146 +Die vorliegende Bachelorarbeit in Telematik f\"uhrt in die speziellen, dem Frontend zugrundleliegenden Konzepte und Komponenten (Scala-Layer f\"ur asynchrone Bearbeitung von Beweisdokumenten, jEdit mit Plugins, Parser) ein, dokumentiert die momentane Organisation dieser Komponenten im Isabelle System und implementiert das gesamte System in einer integrierten Entwicklungsungebung. Es wird dazu ein SD-Test-Plugin umgesetzt. Ziel dieses Beispiel-Pugins ist in erster Linie eine Art HowTo f\"ur nachfolgende Projektarbeiten zu schaffen.
1.147 +
1.148 +Hiermit sind die organisatorischen und softwaretechnische Voraussetzungen daf\"ur geschaffen, dass ein Team an der Technischen Universi\"at Graz an der Entwicklung des kommenden Frontends f\"ur den Theoremprover Isabelle und seiner Integration in Entwicklungswerkzeuge teilhaben kann.
1.149 +
1.150 +\vspace{5mm}
1.151 +\noindent
1.152 +{\large\bfseries Schlagworte:}
1.153 +einige deutsche Schlagworte
1.154 +
1.155 +\selectlanguage{english}
1.156 +\end{changemargin}
1.157 +
1.158 +
1.159 +% --- Pledge ------------------------------------------------------------
1.160 +\newpage
1.161 +\vspace*{20mm}
1.162 +
1.163 +\begin{center}
1.164 +{\Large\bfseries Statutory Declaration}
1.165 +\end{center}
1.166 +\vspace{5mm}
1.167 +\noindent
1.168 +I declare that I have authored this thesis independently, that I have not used other than the declared
1.169 +sources/resources, and that I have explicitly marked all material which has been quoted either
1.170 +literally or by content from the used sources.
1.171 +
1.172 +\vspace{2cm}
1.173 +
1.174 +\noindent
1.175 +\begin{tabular}{ccc}
1.176 +\hspace*{6cm} & \hspace*{2cm} & \hspace*{6.7cm}\\
1.177 +\dotfill & & \dotfill\\
1.178 +place, date & & (signature)\\
1.179 +\end{tabular}
1.180 +
1.181 +\vspace{35mm}
1.182 +
1.183 +
1.184 +\selectlanguage{austrian}
1.185 +
1.186 +\begin{center}
1.187 +{\Large\bfseries Eidesstattliche Erkl\"arung}
1.188 +\end{center}
1.189 +\vspace{5mm}
1.190 +\noindent
1.191 +Ich erkl\"are an Eides statt, dass ich die vorliegende Arbeit selbstst\"andig verfasst, andere als die
1.192 +angegebenen Quellen/Hilfsmittel nicht benutzt, und die den benutzten Quellen w\"ortlich und inhaltlich
1.193 +entnommenen Stellen als solche kenntlich gemacht habe.
1.194 +
1.195 +\vspace{2cm}
1.196 +
1.197 +\noindent
1.198 +\begin{tabular}{ccc}
1.199 +\hspace*{6cm} & \hspace*{2cm} & \hspace*{6.7cm}\\
1.200 +\dotfill & & \dotfill\\
1.201 +Ort, Datum & & (Unterschrift)\\
1.202 +\end{tabular}
1.203 +
1.204 +\selectlanguage{english}