wneuper/isa: doc-src/isac/msteger/bakk-arbeit/thesis-title.tex@322bc326d094

     1 % --- English Title Page ------------------------------------------------

     2 \begin{titlepage}

     3 \begin{center}

     4 \vspace*{8mm}

     5 {\LARGE Bachelor's Thesis}\\

     7 \vspace{16mm}

     9 {\huge \bf Userinterfaces for Computer Theorem Prover\\

    10 	feasibility study in the Isac-projekt\\}

    12 \vspace{16mm}

    14 {\LARGE Marco Steger\textsuperscript{1}}\\

    16 \vspace{16mm}

    18 {\Large

    19 Institute for Software Technology (IST)\\

    20 Graz University of Technology\\

    21 A-8010 Graz, Austria\\}

    23 \vspace{16mm}

    25 %TODO TU - figure; Line 26, 76

    26 %\begin{figure}[!ht]

    27 %\centerline{\includegraphics[width=4cm,keepaspectratio=true]{fig/tug}}

    28 %\end{figure}

    30 \vspace{16mm}

    32 {\large

    33 \begin{tabular}{ll}

    34 Advisor:    & Ass.Prof. Dipl.-Ing. Dr.techn.\ Bernhard Aichernig\\[0.5ex]

    35 %TODO Aichernig????

    36 Co-Advisor: & Dr.techn.\ Walther Neuper

    37 \end{tabular}}

    39 \vfill

    40 {\large Graz, 30.05.2011????}

    41 \vspace{15mm}

    42 \end{center}

    44 \noindent

    45 \underline{\hspace*{3cm}}\\

    46 {\footnotesize

    47 \textsuperscript{1} E-mail: m.steger@student.tugraz.at\\

    48 \copyright ~ Copyright 2011 by the author}

    52 % --- German Title Page -------------------------------------------------

    53 \selectlanguage{austrian}

    55 \newpage

    56 \begin{center}

    57 \vspace*{8mm}

    58 {\LARGE Bachelorarbeit}\\

    60 \vspace{16mm}

    62 {\huge \bf Userinterfaces f\"ur Computer Theorem Prover\\

    63 	Machbarkeits-Studie im Isac-Projekt\\}

    65 \vspace{16mm}

    67 {\LARGE Marco Steger\textsuperscript{1}}\\

    69 \vspace{16mm}

    71 {\Large

    72 Institut f\"ur Softwaretechnologie (IST)\\

    73 Technische Universit\"at Graz\\

    74 A-8010 Graz\\}

    76 \vspace{16mm}

    78 %\begin{figure}[!ht]

    79 %\centerline{\includegraphics[width=4cm,keepaspectratio=true]{fig/tug}}

    80 %\end{figure}

    82 \vspace{16mm}

    84 %TODO Aichernig????

    85 {\large

    86 \begin{tabular}{ll}

    87 Gutachter:	& Ass.Prof. Dipl.-Ing. Dr.techn.\ Bernhard Aichernig\\[0.5ex]

    88 Mitbetreuer:	& Dr.techn.\ Walther Neuper

    89 \end{tabular}}

    91 \vspace{16mm}

    92 {\large Graz, 30.05.2011}

    94 \vfill

    95 Diese Arbeit ist in deutscher Sprache verfasst.

    96 \end{center}

    98 \noindent

    99 \underline{\hspace*{3cm}}\\

   100 {\footnotesize

   101 \textsuperscript{1} E-Mail: m.steger@student.tugraz.at\\

   102 \copyright ~ Copyright 2011, Marco Steger}

   103 \end{titlepage}

   105 \selectlanguage{english}

   108 % --- English Abstract --------------------------------------------------

   109 \pagestyle{plain}

   110 \pagenumbering{roman}

   111 \newpage

   113 \vspace*{25mm}

   115 \begin{changemargin}{15mm}{15mm}

   116 \begin{center}

   117 {\Large\bfseries Abstract}

   118 \end{center}

   119 \vspace*{7mm}

   121 Place english abstract here.

   123 \vspace{5mm}

   124 \noindent

   125 {\large\bfseries Keywords:}

   126 some english keywords

   130 % --- German Abstract ---------------------------------------------------

   131 \selectlanguage{austrian}

   132 \newpage

   134 \vspace*{10mm}

   136 \begin{center}

   137 {\Large\bfseries Kurzfassung}

   138 \end{center}

   139 \vspace*{2mm}

   141 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.

   143 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.

   145 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.

   147 \vspace{5mm}

   148 \noindent

   149 {\large\bfseries Schlagworte:}

   150 einige deutsche Schlagworte

   152 \selectlanguage{english}

   153 \end{changemargin}

   156 % --- Pledge ------------------------------------------------------------

   157 \newpage

   158 \vspace*{20mm}

   160 \begin{center}

   161 {\Large\bfseries Statutory Declaration}

   162 \end{center}

   163 \vspace{5mm}

   164 \noindent

   165 I declare that I have authored this thesis independently, that I have not used other than the declared

   166 sources/resources, and that I have explicitly marked all material which has been quoted either

   167 literally or by content from the used sources.

   169 \vspace{2cm}

   171 \noindent

   172 \begin{tabular}{ccc}

   173 \hspace*{6cm}     & \hspace*{2cm}   & \hspace*{6.7cm}\\

   174 \dotfill          &                 & \dotfill\\

   175 place, date       &                 & (signature)\\

   176 \end{tabular}

   178 \vspace{35mm}

   181 \selectlanguage{austrian}

   183 \begin{center}

   184 {\Large\bfseries Eidesstattliche Erkl\"arung}

   185 \end{center}

   186 \vspace{5mm}

   187 \noindent

   188 Ich erkl\"are an Eides statt, dass ich die vorliegende Arbeit selbstst\"andig verfasst, andere als die

   189 angegebenen Quellen/Hilfsmittel nicht benutzt, und die den benutzten Quellen w\"ortlich und inhaltlich

   190 entnommenen Stellen als solche kenntlich gemacht habe.

   192 \vspace{2cm}

   194 \noindent

   195 \begin{tabular}{ccc}

   196 \hspace*{6cm}     & \hspace*{2cm}   & \hspace*{6.7cm}\\

   197 \dotfill          &                 & \dotfill\\

   198 Ort, Datum        &                 & (Unterschrift)\\

   199 \end{tabular}

   201 \selectlanguage{english}

author	Walther Neuper <neuper@ist.tugraz.at>
	Tue, 28 Jun 2011 17:08:22 +0200
branch	decompose-isar
changeset 42070	322bc326d094
child 42072	43e00b47ae9d
permissions	-rw-r--r--