\documentclass[a4paper,12pt]{article}
%usepackage{ngerman}


\def\isac{${\cal I}\mkern-2mu{\cal S}\mkern-5mu{\cal AC}$}
\def\sisac{\footnotesize${\cal I}\mkern-2mu{\cal S}\mkern-5mu{\cal AC}$}

\title{Ferialpraxis\\ am Institut f\"ur Softwaretechnologie\\
       der Technischen Universit\"at Graz\\
       Arbeitsprotokoll}
\author{Thomas Leh\\
       t.leh@gmx.at}
\date{\today}

\begin{document}
\maketitle

\section{Pers\"ohnliche Zielsetzung}
Im letzen Sommer vor der Maturaklasse wollte ich mich schon \"uber 
Studienm\"oglichkeiten informieren. 
Meine Interessen liegen im Bereich der Computerwissenschaften und ich war
deshalb froh, die Praktikumsstelle bekommen zu haben.
Dabei wollte ich Folgendes erzielen:
\begin{itemize}\itemsep1pt
\item Genereller Einblick in die Software-Entwicklung 
\item Einblick ins Programmieren 
\item Informationen \"uber die Studienrichtung Informatik auf der TU
\item Arbeitserfahrung im Bereich der Informatik
\end{itemize}
\newpage
\section{Arbeitsprotokoll}
\begin{center}
\begin{tabular}{l|l|r}
Datum   & T\"atigkeit & Std. \\ \hline
12.7.11
 & Demonstration des ``educational math assistant \sisac'' &7.5 \\
 & Demonstration des Theorem Provers Isabelle & \\
 & Einf\"uhrung Linux, objektorientierte/funktionale Programmierung& \\
 & Installation: Isabelle, \sisac-core, Mercurial & \\ \hline
13.7.11 & Einf\"uhrung Latex und ML Basic & 7.5 \\
 & Konfiguration von Mercurial & \\
 & ML Basics \"Ubungen  &  \\\hline
14.7.11 & Einf\"uhrung ML Functions und ML Combinators  &7.5 \\
 &  \"Ubungen ML Functions und ML Combinators s & \\ \hline
15.7.11&  Einf\"uhrung ML Datastructure  &7.5 \\ 
 & Ml Datastructure \"Ubungen & \\
 & Informationen \"uber Rewriting und MathEngine & \\  \hline
18.7.11 & Einf\"uhrung in die Fehlersuche (ISAC-Tests)  & 7.5 \\ 
 & Fehlersuche im Directory ``Frontend'' &  \\ \hline
19.7.11 & Fehlersuche im Directory ``Knowledge''   & 7.5 \\
 & Uncommanding funktionierender Tests   & \\ \hline
20.7.11 & Einf\"uhrung Fehlerbeseitigung (ISAC-Tests) &  7.5  \\
 & Fehlerbeseitigung im File polyminus.sml  &  \\ \hline
21.7.11 & Informationen \"uber Studienrichtungen der Informatik & 7.5 \\
 & Fehlerbeseitigung im File integrate.sml  &  \\ \hline
22.7.11 & Fehlersuche in der File ``diffapp''   &  7.5 \\ 
& Beseitigung des Fehlers   & \\ \hline
25.7.11 & Fehlersuche  in der File ``diff.sml''  & 7.5\\ 
& Fehlerbeseitigung in der File ``diff.sml``& \\\hline
26.7.11 & updaten des ``scr'' Directories & 7.5  \\ 
& Fehlersuche im ``scr'' Directory & \\ \hline
27.7.11 & updaten des ``scr'' Directories  &  7.5 \\
& Fehlerbehebung in den Files eqsystem.thy, atools.thy & \\  \hline
28.7.11 & Abschluss: Check des builds, check aller Tests & 7.5 \\
 & Fertigstellung des Protokolls  &   \\ \hline
29.7.11 & Austausch mit Ferialpraktikanten von anderen Fakult\"aten & 7.5 \\
\end{tabular}
\end{center}
\newpage
\section{R\"uckblick auf das Praktikum}



\paragraph{Im Bereich der Software-Entwicklung} wurden meine Erwartungen 
erf\"ullt. Ich wei\ss \ jetzt wie bei einem gr\"o\ss eren Software-Projekt 
gearbeitet wird und habe mich mit den Umgang mit der Versionsverwaltungssoftware
Mercurial vertraut gemacht. Des weiteren wurde mir die wichtige Rolle von Tests in
Software-Projekten bewusst gemacht.

\paragraph{Von der Programmierung} habe ich mir einen gro\ss en \"Überblick
 verschaffen k\"onnen. Dabei habe ich vorallem einiges zum Thema ``Funktionales 
Programmieren (SML)'' erfahren und wurde mit dem Editor-Programm ``Jedit'' 
vertraut gemacht.

\paragraph{Informationen \"uber die Studienrichtungen der Informatik} konnte ich 
auch gewinnen. Ich habe Zug\"ange bei tugonline in Erfahrung gebracht und habe 
mich \"uber die Studienrichtungen Informatik, Telematik und Softwareentwicklung-
Wirtschaft informiert.

\paragraph{Arbeitserfahrung} konnte ich auch einige erlangen. Es herrschte eine 
sehr komplexe, und vor allem ungewohnte Arbeitsumgebung (Linux,Mercurial,Isabelle)
an die es sich zu gew\"ohnen galt. Es wurde mit mehreren dutzend Files mit einigen
tausend Programmzeilen gearbeitet.


\end{document}
