10 \def\sisac{\footnotesize${\cal I}\mkern-2mu{\cal S}\mkern-5mu{\cal AC}$} |
10 \def\sisac{\footnotesize${\cal I}\mkern-2mu{\cal S}\mkern-5mu{\cal AC}$} |
11 |
11 |
12 \begin{document} |
12 \begin{document} |
13 |
13 |
14 \title{\Large {\bf Verbindung von 'Computation' und 'Deduction' im \isac{}-System}\\~\\ |
14 \title{\Large {\bf Verbindung von 'Computation' und 'Deduction' im \isac{}-System}\\~\\ |
15 Projektpraktikum am Institut für Computersprachen, TU Wien} |
15 Projektpraktikum am Institut für Computersprachen,\\Technische Universit\"at Wien\\ |
|
16 \vspace{0.7cm} |
|
17 \large{Betreuer: Univ.-Prof. Dr. Jens Knoop}} |
16 \author{Mathias Lehnfeld\\ |
18 \author{Mathias Lehnfeld\\ |
17 {\tt mathias.lehnfeld@gmx.at}} |
19 {\tt mathias.lehnfeld@gmx.at}} |
|
20 %pdflatex creates an empty page 1 and the titlepage on page 2 ?!?... |
|
21 %\thanks{Betreuer: Univ.-Prof. Dr. Jens Knoop, Technische Universit\"at Wien\\ |
|
22 % Dr. Walther Neuper, Technische Universit\"at Graz} |
|
23 \date{30. Mai 2011} |
18 \maketitle |
24 \maketitle |
19 \clearpage |
25 \clearpage |
20 \tableofcontents |
26 \tableofcontents |
21 \clearpage |
27 \clearpage |
22 |
28 |
362 \subsection{L\"osungsphase mit {\it context}s} |
368 \subsection{L\"osungsphase mit {\it context}s} |
363 Die Integration von {\it context}s in die Lösungsphase zur Ersetzung der ursprünglichen behandlung von Assertions konnte in enger Zusammenarbeit mit Herrn Neuper fertiggestellt werden, persönliche Termine auf beiden Seiten verlängerten aber den zeitlichen Verlauf. Der Code des Lucas-Interpreters ist jetzt sauberer und die Logik vereinfacht. |
369 Die Integration von {\it context}s in die Lösungsphase zur Ersetzung der ursprünglichen behandlung von Assertions konnte in enger Zusammenarbeit mit Herrn Neuper fertiggestellt werden, persönliche Termine auf beiden Seiten verlängerten aber den zeitlichen Verlauf. Der Code des Lucas-Interpreters ist jetzt sauberer und die Logik vereinfacht. |
364 |
370 |
365 |
371 |
366 \section{Abschließende Bemerkungen} |
372 \section{Abschließende Bemerkungen} |
367 Rückblickend betrachte ich das Projektpraktikum als sehr positive Erfahrung, da ich das Gefühl habe, etwas nicht Unwesentliches zur Erweiterung von \sisac{} beigetragen zu haben. Die persönliche Zusammenarbeit mit Akademikern und auch die Verrichtung einer Arbeit, die nach Abschluss gebraucht und verwendet wird, ist eine Erfahrung, die in meinem Studium nicht selbstverständlich ist und um die ich mich sehr bemüht habe.\\ |
373 Rückblickend betrachte ich das Projektpraktikum als sehr positive Erfahrung, da ich das Gefühl habe, etwas nicht Unwesentliches zur Erweiterung von \sisac{} beigetragen zu haben. Die persönliche Zusammenarbeit mit Akademikern und auch die Verrichtung einer Arbeit, die nach Abschluss gebraucht und verwendet wird, ist eine Erfahrung, die in meinem Studium nicht selbstverständlich ist und um die ich mich sehr bemüht habe. |
368 Der nicht zuletzt durch das überraschend notwendig gewordene Update bedingte zähe Verlauf bis ich endlich wirklich an der eigentlichen Aufgabenstellung arbeiten konnte war etwas ernüchternd, da ich gehofft hatte, das Praktikum bis spätestens Ende März abschließen zu können.\\ |
374 |
369 Die Zusammenarbeit mit Herrn Neuper hat jedenfalls sehr gut funktioniert und aus meiner Sicht haben wir uns sehr gut verstanden. Das hat ein entspanntes Arbeitsklima ermöglicht.\\ |
375 Der %nicht zuletzt |
370 Abgesehen von der zeitlichen Verzögerung des Projektes freue ich mich über den erfolgreichen Abschluss der geplanten Aufgaben und deren interessanten Charakter. |
376 durch das überraschend notwendig gewordene Update |
|
377 von Isabelle2009-2 auf Isabelle2011 |
|
378 bedingte zähe Verlauf bis ich endlich wirklich an der eigentlichen Aufgabenstellung arbeiten konnte, %war etwas ernüchternd, |
|
379 verlange einies Umdisponieren, |
|
380 da ich gehofft hatte, das Praktikum bis spätestens Ende März abschließen zu können. Die zeitliche Verzögerung des Projektes wurde jedoch gro\3es Entgegenkommen des Institutes ausgeglichen, f\"ur das ich mich sehr bedanke. Lehrreich war f\"ur mich auch die Einbindung der Abschlusspr\"asentation in die Vortragsreihe des Institutes f\"ur Computersprachen; auch daf\"ur herzlichen Dank. |
|
381 |
|
382 Die Zusammenarbeit mit \sisac-Entwicklung \"uber Herrn Neuper hat %jedenfalls |
|
383 sehr gut funktioniert und aus meiner Sicht haben wir uns sehr gut verstanden. Das hat ein produktives %entspanntes |
|
384 Arbeitsklima ermöglicht. |
|
385 |
|
386 %Abgesehen von der zeitlichen Verzögerung des Projektes freue ich mich über den erfolgreichen Abschluss der geplanten Aufgaben und deren interessanten Charakter. |
371 |
387 |
372 \clearpage |
388 \clearpage |
373 |
389 |
374 \bibliography{bib} |
390 \bibliography{bib} |
375 |
391 |