akargl@42228: \message{ !name(ferialprakt.tex)}\documentclass[a4paper,12pt]{article}
neuper@42081: \usepackage{ngerman}
akargl@42228: \usepackage{longtable}
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\\
akargl@42091:        der Technischen Universit\"at Graz\\ \ 
akargl@42091:        \\Arbeitsprotokoll}
akargl@42084: \author{Alexander Kargl\\
akargl@42091:        akargl@brgkepler.net}
neuper@42081: \date{\today}
neuper@42081: 
neuper@42081: \begin{document}
akargl@42228: 
akargl@42228: \message{ !name(ferialprakt.tex) !offset(-3) }
akargl@42228: 
neuper@42081: \maketitle
neuper@42236: $\;$\\
neuper@42236: \vspace{0.2cm}
akargl@42228: \section{Urspr\"ungliche Erwartungen}
neuper@42236: In den letzten Sommerferien vor der Maturaklasse wollte ich mich genauer \"uber die Studienrichtungen im Bereich Informatik an der TU Graz informieren. Meine Interessen tendierten bereits in diese Richtung, aber ich war mir noch nicht sicher, ob das die richtige Entscheidung ist.
neuper@42236: 
neuper@42236: Ich hatte das Gl\"uck ein Praktikum am Insitut f\"ur Softwaretechnologie absolvieren zu d\"urfen. Ich hoffte dadurch:
akargl@42228: \begin{itemize}
akargl@42228:  \item einen Einblick in die Programmierung und Entstehung von gr\"o\3eren Softwareprojekten zu erhalten
akargl@42228:  \item neue Programmiertechniken und Sprachen kennenzulernen
akargl@42228:  \item und au\3erdem gleich wertvolle Erfahrung im Arbeitsleben sammeln zu k\"onnen
akargl@42228: \end{itemize}
neuper@42081: 
neuper@42236: \newpage
neuper@42081: \section{Arbeitsprotokoll}
neuper@42081: \begin{center}
akargl@42228: \begin{tabular}{l|l||r}
akargl@42228: \textbf{Datum}   &\textbf{T\"atigkeit} & \textbf{Std.} \\[1pt] \hline \hline\noalign{\smallskip}
akargl@42087: 12.7.2011
neuper@42236:  & Demonstration von ``educational math assistant \isac{}'', Isabelle & 1.6\\
neuper@42236:  %& Demonstration des Theorem Provers  & 0.6\\
neuper@42081:  & Einf\"uhrung Linux, objektorientierte/funktionale Programmierung& 2.0\\
neuper@42236:  & Installation: Isabelle, \isac-core, Mercurial & 3.0\\[3pt] \hline\noalign{\smallskip}
akargl@42087: 13.7.2011
neuper@42236:  & Einf\"uhrung Latex,  Konfiguration von Mercurial & 2.6 \\
neuper@42236:  %& & 1.6 \\
akargl@42228:  & ML-Programmierung/Einf\"uhrung & 5.0 \\[3pt] \hline\noalign{\smallskip}
akargl@42087: 14.7.2011
neuper@42236:  & Einf\"uhrung und \"Ubung ML II & 4.6 \\
neuper@42236: % & Programmierung ML & 2.0 \\
akargl@42228:  & Erstellung v. Beispielen f\"ur Kombinatoren in ML & 3.0 \\[3pt] \hline\noalign{\smallskip}
akargl@42091: 15.7.2011
neuper@42236:  & Einf\"uhrung ML/\isac\  IV & 2.1 \\
akargl@42228:  & ML- Programmierung & 5.5 \\ \hline \hline\noalign{\smallskip}
akargl@42108: 18.7.2011
akargl@42228:  & Fehlersuche/Debugging Isac-Tests & 7.6 \\[3pt] \hline\noalign{\smallskip}
akargl@42125: 19.7.2011
neuper@42236:  & Tests zu korrigiertem CompleteCalc auskommentiert & 7.6 \\
neuper@42236:  & interface.sml calchead.sml ctree.sml mathengine.sml rewtools.sml &  \\[3pt] \hline\noalign{\smallskip}
akargl@42181: 20.7.2011
akargl@42228:  & Fehlersuche/Debugging Isac-Tests & 7.6 \\[3pt] \hline\noalign{\smallskip}
akargl@42181: 21.7.2011
neuper@42236:  & Alle Fehler in Frontend/interface.sml behoben & 7.6 \\
neuper@42236:  & Beginn zugeh\"orige Tests auskommentieren & 7.6 \\[3pt] \hline\noalign{\smallskip}
akargl@42181: 22.7.2011
akargl@42228:  & Information \"uber Studienrichtungen etc. & 1.1 \\
akargl@42228:  & Fehlersuche/Debugging Isac-Tests & 6.5 \\[3pt] \hline \hline\noalign{\smallskip}
akargl@42188: 25.7.2011
akargl@42228:  & Fehlersuche/Debugging Isac-Tests & 7.6 \\[3pt] \hline\noalign{\smallskip}
akargl@42209: 26.7.2011
neuper@42236:  & Beginn: systematisches Aufr\"aumen von auskommentierten Tests & 7.6 \\
neuper@42236:  & Interpret/appl.sml Interpret/ctree.sml ProgLang/calculate.sml & \\[3pt] \hline\noalign{\smallskip} 
akargl@42221: 27.7.2011
akargl@42228:  & Fehlersuche/Debugging Isac-Tests & 7.6 \\[3pt] \hline\noalign{\smallskip}
akargl@42228: 28.7.2011
akargl@42228:  & Fehlersuche/Debugging Isac-Tests & 3.6 \\
akargl@42228:  & Fertigstellung Protokoll         & 4.0 \\[3pt] \hline\noalign{\smallskip}
akargl@42228: 29.7.2011
akargl@42228:  & Austausch mit Ferialpraktikanten anderer Studienrichtungen  & 1.0 \\
akargl@42228:  & Arbeit mit Robotern  & 5.0 \\[3pt] \hline\noalign{\smallskip}
neuper@42081: \end{tabular}
neuper@42081: \end{center}
neuper@42236: Die Arbeiten am Update der Tests sind in das Repository des \isac-Projektes hochgeladen worden und sind auf {\tt https://intra.ist.tugraz.at/hg/isa/} einzusehen.
neuper@42081: 
neuper@42081: 
neuper@42236: \newpage
neuper@42081: \section{R\"uckblick auf das Praktikum}
akargl@42228: Meine Erwartungen haben sich gr\"o\3tenteils alle erf\"ullt und ich habe viel Neues dazugelernt:
akargl@42228: \begin{itemize}
akargl@42228:   \item Grundlagen funktionaler Programmierung (SML)
akargl@42228:   \item Zusammenarbeit an einem gro\3sem Softwareprojekt mit mehreren Programmierern (Benutzung von Versionsverwaltungssystemen (Mercurial) , Kommentaren etc.)
akargl@42228:   \item Grundz\"uge der Funktionsweise eines Theorem Provers (Isabelle)
akargl@42228:   \item ``Test driven development'' - Verifizierung von Softwarekomponenten
akargl@42228:   \item schnelle Einarbeitung in neue komplexe Arbeitsumgebungen und Problemstellungen
akargl@42228: \end{itemize}
neuper@42236: Alles in allem hat sich dieses Praktikum f\"ur mich in jeder Hinsicht gelohnt.
akargl@42228: 
neuper@42081: 
neuper@42081: 
neuper@42081: \end{document}
akargl@42228: 
akargl@42228: \message{ !name(ferialprakt.tex) !offset(-78) }