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 im Directory ``Frontend'' & \\ \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 in der File ``diffapp'' & 7.5 \\
57 & Beseitigung des Fehlers & \\ \hline
58 25.7.11 & Fehlersuche in der File ``diff.sml'' & 7.5\\
59 & Fehlerbeseitigung in der File ``diff.sml``& \\\hline
60 26.7.11 & updaten des ``scr'' Directories & 7.5 \\
61 & Fehlersuche im ``scr'' Directory & \\ \hline
62 27.7.11 & updaten des ``scr'' Directories & 7.5 \\
63 & Fehlerbehebung in den Files eqsystem.thy, atools.thy & \\ \hline
64 28.7.11 & Abschluss: Check des builds, check aller Tests & 7.5 \\
65 & Fertigstellung des Protokolls & \\ \hline
66 29.7.11 & Austausch mit Ferialpraktikanten von anderen Fakult\"aten & 7.5 \\
70 \section{R\"uckblick auf das Praktikum}
74 \paragraph{Im Bereich der Software-Entwicklung} wurden meine Erwartungen
75 erf\"ullt. Ich wei\ss \ jetzt wie bei einem gr\"o\ss eren Software-Projekt
76 gearbeitet wird und habe mich mit den Umgang mit der Versionsverwaltungssoftware
77 Mercurial vertraut gemacht. Des weiteren wurde mir die wichtige Rolle von Tests in
78 Software-Projekten bewusst gemacht.
80 \paragraph{Von der Programmierung} habe ich mir einen gro\ss en \"Überblick
81 verschaffen k\"onnen. Dabei habe ich vorallem einiges zum Thema ``Funktionales
82 Programmieren (SML)'' erfahren und wurde mit dem Editor-Programm ``Jedit''
85 \paragraph{Informationen \"uber die Studienrichtungen der Informatik} konnte ich
86 auch gewinnen. Ich habe Zug\"ange bei tugonline in Erfahrung gebracht und habe
87 mich \"uber die Studienrichtungen Informatik, Telematik und Softwareentwicklung-
88 Wirtschaft informiert.
90 \paragraph{Arbeitserfahrung} konnte ich auch einige erlangen. Es herrschte eine
91 sehr komplexe, und vor allem ungewohnte Arbeitsumgebung (Linux,Mercurial,Isabelle)
92 an die es sich zu gew\"ohnen galt. Es wurde mit mehreren dutzend Files mit einigen
93 tausend Programmzeilen gearbeitet.