
neuper@42081: \documentclass[a4paper,12pt]{article}
t@42229: %usepackage{ngerman}
neuper@42081: 
neuper@42081: 
neuper@42081: \def\isac{${\cal I}\mkern-2mu{\cal S}\mkern-5mu{\cal AC}$}
neuper@42081: \def\sisac{\footnotesize${\cal I}\mkern-2mu{\cal S}\mkern-5mu{\cal AC}$}
neuper@42081: 
neuper@42081: \title{Ferialpraxis\\ am Institut f\"ur Softwaretechnologie\\
neuper@42081:        der Technischen Universit\"at Graz\\
neuper@42081:        Arbeitsprotokoll}
neuper@42081: \author{Thomas Leh\\
t@42229:        t.leh@gmx.at}
neuper@42081: \date{\today}
neuper@42081: 
neuper@42081: \begin{document}
neuper@42081: \maketitle
neuper@42081: 
t@42229: \section{Pers\"ohnliche Zielsetzung}
t@42229: Im letzen Sommer vor der Maturaklasse wollte ich mich schon \"uber 
t@42229: Studienm\"oglichkeiten informieren. 
t@42229: Meine Interessen liegen im Bereich der Computerwissenschaften und ich war
t@42229: deshalb froh, die Praktikumsstelle bekommen zu haben.
t@42229: Dabei wollte ich Folgendes erzielen:
t@42229: \begin{itemize}\itemsep1pt
t@42229: \item Genereller Einblick in die Software-Entwicklung 
t@42229: \item Einblick ins Programmieren 
t@42229: \item Informationen \"uber die Studienrichtung Informatik auf der TU
t@42229: \item Arbeitserfahrung im Bereich der Informatik
t@42229: \end{itemize}
t@42229: \newpage
neuper@42081: \section{Arbeitsprotokoll}
neuper@42081: \begin{center}
neuper@42081: \begin{tabular}{l|l|r}
neuper@42081: Datum   & T\"atigkeit & Std. \\ \hline
neuper@42081: 12.7.11
t@42229:  & Demonstration des ``educational math assistant \sisac'' &7.5 \\
t@42229:  & Demonstration des Theorem Provers Isabelle & \\
t@42229:  & Einf\"uhrung Linux, objektorientierte/funktionale Programmierung& \\
t@42229:  & Installation: Isabelle, \sisac-core, Mercurial & \\ \hline
t@42229: 13.7.11 & Einf\"uhrung Latex und ML Basic & 7.5 \\
t@42229:  & Konfiguration von Mercurial & \\
t@42229:  & ML Basics \"Ubungen  &  \\\hline
t@42229: 14.7.11 & Einf\"uhrung ML Functions und ML Combinators  &7.5 \\
t@42229:  &  \"Ubungen ML Functions und ML Combinators s & \\ \hline
t@42229: 15.7.11&  Einf\"uhrung ML Datastructure  &7.5 \\ 
t@42229:  & Ml Datastructure \"Ubungen & \\
t@42229:  & Informationen \"uber Rewriting und MathEngine & \\  \hline
t@42229: 18.7.11 & Einf\"uhrung in die Fehlersuche (ISAC-Tests)  & 7.5 \\ 
t@42229:  & Fehlersuche &  \\ \hline
t@42229: 19.7.11 & Fehlersuche im Directory ``Knowledge   & 7.5 \\
t@42229:  & Uncommanding funktionierender Tests &  & \hline
t@42229: 20.7.11 & Einf\"uhrung Fehlerbeseitigung (ISAC-Tests) &  7.5  \\
t@42229:  & Fehlerbeseitigung im File polyminus.sml  &  \\ \hline
t@42229: 21.7.11 & Informationen \"uber Studienrichtungen der Informatik & 7.5 \\
t@42229:  & Fehlerbeseitigung im File integrate.sml  &  \\ \hline
t@42229: 22.7.11 & Fehlersuche und Beseitigung (ISAC-Tests) &   \\7.5 \hline
t@42229: 25.7.11 & Fehlersuche und Beseitigung in der File diff.sml (ISAC-Tests) & 7.5\\ \hline
t@42229: 26.7.11 & updaten des ``scr'' Directories & 7.5  \\ \hline
t@42229: & Fehlersuche im ``scr'' Directory& &
t@42229: 27.7.11 & updaten des ``scr'' Directories  &  7.5 \\
t@42229: & Fehlerbehebung in den Files eqsystem.thy, atools.thy &  & \hline
t@42229: 28.7.11 & Abschluss: Check des builds, check aller Tests & 7.5 \\
t@42229:  & Fertigstellung des Protokolls  &   \\
t@42229: 29.7.11 & Austausch mit Ferialpraktikanten von anderen Fakult\"aten & 7.5 \\
neuper@42081: \end{tabular}
neuper@42081: \end{center}
t@42229: \newpage
t@42229: \section{R\"uckblick auf das Praktikum}
neuper@42081: 
neuper@42081: 
t@42229: 
t@42229: \paragraph{Im Bereich der Software-Entwicklung} wurden meine Erwartungen 
t@42229: erf\"ullt. Ich wei\ss \ jetzt wie bei einem gr\"o\ss eren Software-Projekt 
t@42229: gearbeitet wird und habe mich mit den Umgang mit der Versionsverwaltungssoftware
t@42229: Mercurial vertraut gemacht. Des weiteren wurde mir die wichtige Rolle von Tests in
t@42229: Software-Projekten bewusst gemacht.
t@42229: 
t@42229: \paragraph{Von der Programmierung} habe ich mir einen gro\ss en \"Überblick
t@42229:  verschaffen k\"onnen. Dabei habe ich vorallem einiges zum Thema ``Funktionales 
t@42229: Programmieren (SML)'' erfahren und wurde mit dem Editor-Programm ``Jedit'' 
t@42229: vertraut gemacht.
t@42229: 
t@42229: \paragraph{Informationen \"uber die Studienrichtungen der Informatik} konnte ich 
t@42229: auch gewinnen. Ich habe Zug\"ange bei tugonline in Erfahrung gebracht und habe 
t@42229: mich \"uber die Studienrichtungen Informatik, Telematik und Softwareentwicklung-
t@42229: Wirtschaft informiert.
t@42229: 
t@42229: \paragraph{Arbeitserfahrung} konnte ich auch einige erlangen. Es herrschte eine 
t@42229: sehr komplexe, und vor allem ungewohnte Arbeitsumgebung (Linux,Mercurial,Isabelle)
t@42229: an die es sich zu gew\"ohnen galt. Es wurde mit mehreren dutzend Files mit einigen
t@42229: tausend Programmzeilen gearbeitet.
neuper@42081: 
neuper@42081: 
neuper@42081: \end{document}




