1 \documentclass[a4paper,12pt]{article} |
|
2 %usepackage{ngerman} |
|
3 |
|
4 |
|
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}$} |
|
7 |
|
8 \title{Ferialpraxis\\ am Institut f\"ur Softwaretechnologie\\ |
|
9 der Technischen Universit\"at Graz\\ |
|
10 Arbeitsprotokoll} |
|
11 \author{Thomas Leh\\ |
|
12 t.leh@gmx.at} |
|
13 \date{\today} |
|
14 |
|
15 \begin{document} |
|
16 \maketitle |
|
17 |
|
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 |
|
29 \end{itemize} |
|
30 \newpage |
|
31 \section{Arbeitsprotokoll} |
|
32 \begin{center} |
|
33 \begin{tabular}{l|l|r} |
|
34 Datum & T\"atigkeit & Std. \\ \hline |
|
35 12.7.11 |
|
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 \\ |
|
67 \end{tabular} |
|
68 \end{center} |
|
69 \newpage |
|
70 \section{R\"uckblick auf das Praktikum} |
|
71 |
|
72 |
|
73 |
|
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. |
|
79 |
|
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'' |
|
83 vertraut gemacht. |
|
84 |
|
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. |
|
89 |
|
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. |
|
94 |
|
95 |
|
96 \end{document} |
|