1 \message{ !name(ferialprakt.tex)}\documentclass[a4paper,12pt]{article}
6 \def\isac{${\cal I}\mkern-2mu{\cal S}\mkern-5mu{\cal AC}$}
7 \def\sisac{\footnotesize${\cal I}\mkern-2mu{\cal S}\mkern-5mu{\cal AC}$}
9 \title{Ferialpraxis\\ am Institut f\"ur Softwaretechnologie\\
10 der Technischen Universit\"at Graz\\ \
12 \author{Alexander Kargl\\
18 \message{ !name(ferialprakt.tex) !offset(-3) }
21 \section{Urspr\"ungliche Erwartungen}
22 In den letzten Sommerferien vor der Maturaklasse wollte ich mich genauer über 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 die richtige Entscheidung ist.\\
23 Ich hatte das Gl\"uck ein Praktikum am Insitut f\"uer Softwaretechnologie absolvieren zu d\"uerfen. Ich hoffte dadurch:
25 \item einen Einblick in die Programmierung und Entstehung von gr\"o\3eren Softwareprojekten zu erhalten
26 \item neue Programmiertechniken und Sprachen kennenzulernen
27 \item und au\3erdem gleich wertvolle Erfahrung im Arbeitsleben sammeln zu k\"onnen
32 \section{Arbeitsprotokoll}
34 \begin{tabular}{l|l||r}
35 \textbf{Datum} &\textbf{T\"atigkeit} & \textbf{Std.} \\[1pt] \hline \hline\noalign{\smallskip}
37 & Demonstration des ``educational math assistant \sisac'' & 1.0\\
38 & Demonstration des Theorem Provers Isabelle & 0.6\\
39 & Einf\"uhrung Linux, objektorientierte/funktionale Programmierung& 2.0\\
40 & Installation: Isabelle, \sisac-core, Mercurial & 3.0\\[3pt] \hline\noalign{\smallskip}
42 & Einf\"uhrung Latex & 1.0 \\
43 & Konfiguration von Mercurial & 1.6 \\
44 & ML-Programmierung/Einf\"uhrung & 5.0 \\[3pt] \hline\noalign{\smallskip}
46 & Einf\"uhrung ML II & 2.6 \\
47 & Programmierung ML & 2.0 \\
48 & Erstellung v. Beispielen f\"ur Kombinatoren in ML & 3.0 \\[3pt] \hline\noalign{\smallskip}
50 & Einf\"uhrung ML/\sisac\ IV & 2.1 \\
51 & ML- Programmierung & 5.5 \\ \hline \hline\noalign{\smallskip}
53 & Fehlersuche/Debugging Isac-Tests & 7.6 \\[3pt] \hline\noalign{\smallskip}
55 & Fehlersuche/Debugging Isac-Tests & 7.6 \\[3pt] \hline\noalign{\smallskip}
57 & Fehlersuche/Debugging Isac-Tests & 7.6 \\[3pt] \hline\noalign{\smallskip}
59 & Fehlersuche/Debugging Isac-Tests & 7.6 \\[3pt] \hline\noalign{\smallskip}
61 & Information \"uber Studienrichtungen etc. & 1.1 \\
62 & Fehlersuche/Debugging Isac-Tests & 6.5 \\[3pt] \hline \hline\noalign{\smallskip}
64 & Fehlersuche/Debugging Isac-Tests & 7.6 \\[3pt] \hline\noalign{\smallskip}
66 & Fehlersuche/Debugging Isac-Tests & 7.6 \\[3pt] \hline\noalign{\smallskip}
68 & Fehlersuche/Debugging Isac-Tests & 7.6 \\[3pt] \hline\noalign{\smallskip}
70 & Fehlersuche/Debugging Isac-Tests & 3.6 \\
71 & Fertigstellung Protokoll & 4.0 \\[3pt] \hline\noalign{\smallskip}
73 & Austausch mit Ferialpraktikanten anderer Studienrichtungen & 1.0 \\
74 & Arbeit mit Robotern & 5.0 \\[3pt] \hline\noalign{\smallskip}
79 \section{R\"uckblick auf das Praktikum}
80 Meine Erwartungen haben sich gr\"o\3tenteils alle erf\"ullt und ich habe viel Neues dazugelernt:
82 \item Grundlagen funktionaler Programmierung (SML)
83 \item Zusammenarbeit an einem gro\3sem Softwareprojekt mit mehreren Programmierern (Benutzung von Versionsverwaltungssystemen (Mercurial) , Kommentaren etc.)
84 \item Grundz\"uge der Funktionsweise eines Theorem Provers (Isabelle)
85 \item ``Test driven development'' - Verifizierung von Softwarekomponenten
86 \item schnelle Einarbeitung in neue komplexe Arbeitsumgebungen und Problemstellungen
88 Alles in allem hat sich dieses Praktikum f\"uer mich in jeder Hinsicht gelohnt.
94 \message{ !name(ferialprakt.tex) !offset(-78) }