1 \documentclass[a4paper,12pt]{article}
5 \def\isac{${\cal I}\mkern-2mu{\cal S}\mkern-5mu{\cal AC}$}
6 \def\sisac{\footnotesize${\cal I}\mkern-2mu{\cal S}\mkern-5mu{\cal AC}$}
8 \title{Ferialpraxis\\ am Institut f\"ur Softwaretechnologie\\
9 der Technischen Universit\"at Graz\\
18 \section{Pers\"ohnliche Zielsetzung}
19 Im letzen Sommer vor der Maturaklasse wollte ich mich schon \"uber
20 Studienm\"oglichkeiten informieren.
21 Meine Interessen liegen im Bereich der Computerwissenschaften und ich war
22 deshalb froh, die Praktikumsstelle bekommen zu haben.
23 Dabei wollte ich Folgendes erzielen:
24 \begin{itemize}\itemsep1pt
25 \item Genereller Einblick in die Software-Entwicklung
26 \item Einblick ins Programmieren
27 \item Informationen \"uber die Studienrichtung Informatik auf der TU
28 \item Arbeitserfahrung im Bereich der Informatik
31 \section{Arbeitsprotokoll}
33 \begin{tabular}{l|l|r}
34 Datum & T\"atigkeit & Std. \\ \hline
36 & Demonstration des ``educational math assistant \sisac'' &7.5 \\
37 & Demonstration des Theorem Provers Isabelle & \\
38 & Einf\"uhrung Linux, objektorientierte/funktionale Programmierung& \\
39 & Installation: Isabelle, \sisac-core, Mercurial & \\ \hline
40 13.7.11 & Einf\"uhrung Latex und ML Basic & 7.5 \\
41 & Konfiguration von Mercurial & \\
42 & ML Basics \"Ubungen & \\\hline
43 14.7.11 & Einf\"uhrung ML Functions und ML Combinators &7.5 \\
44 & \"Ubungen ML Functions und ML Combinators s & \\ \hline
45 15.7.11& Einf\"uhrung ML Datastructure &7.5 \\
46 & Ml Datastructure \"Ubungen & \\
47 & Informationen \"uber Rewriting und MathEngine & \\ \hline
48 18.7.11 & Einf\"uhrung in die Fehlersuche (ISAC-Tests) & 7.5 \\
49 & Fehlersuche & \\ \hline
50 19.7.11 & Fehlersuche im Directory ``Knowledge & 7.5 \\
51 & Uncommanding funktionierender Tests & & \hline
52 20.7.11 & Einf\"uhrung Fehlerbeseitigung (ISAC-Tests) & 7.5 \\
53 & Fehlerbeseitigung im File polyminus.sml & \\ \hline
54 21.7.11 & Informationen \"uber Studienrichtungen der Informatik & 7.5 \\
55 & Fehlerbeseitigung im File integrate.sml & \\ \hline
56 22.7.11 & Fehlersuche und Beseitigung (ISAC-Tests) & \\7.5 \hline
57 25.7.11 & Fehlersuche und Beseitigung in der File diff.sml (ISAC-Tests) & 7.5\\ \hline
58 26.7.11 & updaten des ``scr'' Directories & 7.5 \\ \hline
59 & Fehlersuche im ``scr'' Directory& &
60 27.7.11 & updaten des ``scr'' Directories & 7.5 \\
61 & Fehlerbehebung in den Files eqsystem.thy, atools.thy & & \hline
62 28.7.11 & Abschluss: Check des builds, check aller Tests & 7.5 \\
63 & Fertigstellung des Protokolls & \\
64 29.7.11 & Austausch mit Ferialpraktikanten von anderen Fakult\"aten & 7.5 \\
68 \section{R\"uckblick auf das Praktikum}
72 \paragraph{Im Bereich der Software-Entwicklung} wurden meine Erwartungen
73 erf\"ullt. Ich wei\ss \ jetzt wie bei einem gr\"o\ss eren Software-Projekt
74 gearbeitet wird und habe mich mit den Umgang mit der Versionsverwaltungssoftware
75 Mercurial vertraut gemacht. Des weiteren wurde mir die wichtige Rolle von Tests in
76 Software-Projekten bewusst gemacht.
78 \paragraph{Von der Programmierung} habe ich mir einen gro\ss en \"Überblick
79 verschaffen k\"onnen. Dabei habe ich vorallem einiges zum Thema ``Funktionales
80 Programmieren (SML)'' erfahren und wurde mit dem Editor-Programm ``Jedit''
83 \paragraph{Informationen \"uber die Studienrichtungen der Informatik} konnte ich
84 auch gewinnen. Ich habe Zug\"ange bei tugonline in Erfahrung gebracht und habe
85 mich \"uber die Studienrichtungen Informatik, Telematik und Softwareentwicklung-
86 Wirtschaft informiert.
88 \paragraph{Arbeitserfahrung} konnte ich auch einige erlangen. Es herrschte eine
89 sehr komplexe, und vor allem ungewohnte Arbeitsumgebung (Linux,Mercurial,Isabelle)
90 an die es sich zu gew\"ohnen galt. Es wurde mit mehreren dutzend Files mit einigen
91 tausend Programmzeilen gearbeitet.