1 \documentclass[a4paper,12pt]{article} |
1 \documentclass[a4paper,12pt]{article} |
2 \usepackage{ngerman} |
2 %usepackage{ngerman} |
3 |
3 |
4 |
4 |
5 \def\isac{${\cal I}\mkern-2mu{\cal S}\mkern-5mu{\cal AC}$} |
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}$} |
6 \def\sisac{\footnotesize${\cal I}\mkern-2mu{\cal S}\mkern-5mu{\cal AC}$} |
7 |
7 |
8 \title{Ferialpraxis\\ am Institut f\"ur Softwaretechnologie\\ |
8 \title{Ferialpraxis\\ am Institut f\"ur Softwaretechnologie\\ |
9 der Technischen Universit\"at Graz\\ |
9 der Technischen Universit\"at Graz\\ |
10 Arbeitsprotokoll} |
10 Arbeitsprotokoll} |
11 \author{Thomas Leh\\ |
11 \author{Thomas Leh\\ |
12 xxx@yyy} |
12 t.leh@gmx.at} |
13 \date{\today} |
13 \date{\today} |
14 |
14 |
15 \begin{document} |
15 \begin{document} |
16 \maketitle |
16 \maketitle |
17 |
17 |
18 \section{Urspr\"ungliche Erwartungen} |
18 \section{Pers\"ohnliche Zielsetzung} |
19 TODO |
19 Im letzen Sommer vor der Maturaklasse wollte ich mich schon \"uber |
20 |
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 |
21 \section{Arbeitsprotokoll} |
31 \section{Arbeitsprotokoll} |
22 \begin{center} |
32 \begin{center} |
23 \begin{tabular}{l|l|r} |
33 \begin{tabular}{l|l|r} |
24 Datum & T\"atigkeit & Std. \\ \hline |
34 Datum & T\"atigkeit & Std. \\ \hline |
25 12.7.11 |
35 12.7.11 |
26 & Demonstration des ``educational math assistant \sisac'' & 1.0\\ |
36 & Demonstration des ``educational math assistant \sisac'' &7.5 \\ |
27 & Demonstration des Theorem Provers Isabelle & 0.5\\ |
37 & Demonstration des Theorem Provers Isabelle & \\ |
28 & Einf\"uhrung Linux, objektorientierte/funktionale Programmierung& 2.0\\ |
38 & Einf\"uhrung Linux, objektorientierte/funktionale Programmierung& \\ |
29 & Installation: Isabelle, \sisac-core, Mercurial & 3.0\\ \hline |
39 & Installation: Isabelle, \sisac-core, Mercurial & \\ \hline |
30 13.7.11 & & \\ |
40 13.7.11 & Einf\"uhrung Latex und ML Basic & 7.5 \\ |
31 & & \\ |
41 & Konfiguration von Mercurial & \\ |
32 & & \\ |
42 & ML Basics \"Ubungen & \\\hline |
33 & & \\ |
43 14.7.11 & Einf\"uhrung ML Functions und ML Combinators &7.5 \\ |
34 & & \\ |
44 & \"Ubungen ML Functions und ML Combinators s & \\ \hline |
35 & & \\ |
45 15.7.11& Einf\"uhrung ML Datastructure &7.5 \\ |
36 & & \\ |
46 & Ml Datastructure \"Ubungen & \\ |
37 & & \\ |
47 & Informationen \"uber Rewriting und MathEngine & \\ \hline |
38 & & \\ |
48 18.7.11 & Einf\"uhrung in die Fehlersuche (ISAC-Tests) & 7.5 \\ |
39 & & \\ |
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 \\ |
40 \end{tabular} |
65 \end{tabular} |
41 \end{center} |
66 \end{center} |
|
67 \newpage |
|
68 \section{R\"uckblick auf das Praktikum} |
42 |
69 |
43 \begin{center} |
|
44 \begin{tabular}{l|l|r} |
|
45 Datum & T\"atigkeit & Std. \\ \hline |
|
46 xx.7.11 & & \\ |
|
47 & & \\ |
|
48 & & \\ |
|
49 & & \\ |
|
50 & & \\ |
|
51 & & \\ |
|
52 & & \\ |
|
53 & & \\ |
|
54 & & \\ |
|
55 & & \\ |
|
56 \end{tabular} |
|
57 \end{center} |
|
58 |
70 |
59 \section{R\"uckblick auf das Praktikum} |
71 |
60 TODO |
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. |
|
77 |
|
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'' |
|
81 vertraut gemacht. |
|
82 |
|
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. |
|
87 |
|
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. |
61 |
92 |
62 |
93 |
63 \end{document} |
94 \end{document} |