doc-src/isac/mlehnfeld/projektbericht.tex
branchdecompose-isar
changeset 42041 edbd0c61078a
parent 42040 5ab4b0443259
equal deleted inserted replaced
42040:5ab4b0443259 42041:edbd0c61078a
   351 Der %nicht zuletzt 
   351 Der %nicht zuletzt 
   352 durch das überraschend notwendig gewordene Update 
   352 durch das überraschend notwendig gewordene Update 
   353 von Isabelle2009-2 auf Isabelle2011
   353 von Isabelle2009-2 auf Isabelle2011
   354 bedingte zähe Verlauf bis ich endlich wirklich an der eigentlichen Aufgabenstellung arbeiten konnte, %war etwas ernüchternd, 
   354 bedingte zähe Verlauf bis ich endlich wirklich an der eigentlichen Aufgabenstellung arbeiten konnte, %war etwas ernüchternd, 
   355 verlange einies Umdisponieren,
   355 verlange einies Umdisponieren,
   356 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 durch gro\3es Entgegenkommen des Institutes in der Terminsetzung am Ende des Projektes ausgeglichen; daf\"ur bedanke ich mich sehr. Lehrreich war f\"ur mich auch die Einbindung der Abschlusspr\"asentation in die Vortragsreihe des Institutes f\"ur Computersprachen; auch daf\"ur herzlichen Dank.
   356 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 durch gro\3es Entgegenkommen des Institutes in der Terminsetzung am Ende des Projektes ausgeglichen; daf\"ur bin ich Herrn Professor Knoop sehr zu Dank verpflichtet. Lehrreich war f\"ur mich auch die Einbindung der Abschlusspr\"asentation in die Vortragsreihe des Institutes f\"ur Computersprachen und dem Feedback von dort; auch daf\"ur herzlichen Dank.
   357 
   357 
   358 Die Zusammenarbeit mit \sisac-Entwicklung an der Technischen Universit\"at Graz \"uber Herrn Neuper hat %jedenfalls 
   358 Die Zusammenarbeit mit \sisac-Entwicklung an der Technischen Universit\"at Graz \"uber Herrn Neuper hat %jedenfalls 
   359 sehr gut funktioniert und aus meiner Sicht haben wir uns sehr gut verstanden. Das hat ein produktives %entspanntes 
   359 sehr gut funktioniert und aus meiner Sicht haben wir uns sehr gut verstanden. Das hat ein produktives %entspanntes 
   360 Arbeitsklima ermöglicht.
   360 Arbeitsklima ermöglicht.
   361 
   361