Uni-Logo

Logo

FZI-Logo


Programm des Institutsseminars im Wintersemester 2002/2003

 

Freitag, 25. April  2003:  Ulrich Mohr (Diplomarbeitsabschlußsvortrag, Betreuer: Prof. G. Goos)

            Der Übersetzer erinnert sich: Eine Persistente Definitionstabelle

Vortragsort: Seminarraum 1.1.37 im FZI

Freitag, 28. März  2003:  Lars Geyer, AG Systemsoftware, Universität Kaiserslautern (Gastvortrag )

            Der Einsatz von Produktfamilien in der Software-Entwicklung

Vortragsort: Seminarraum 207 im AVG

Freitag, 14. März  2003:  Olaf Kleine (Diplomarbeitseinführungsvortrag, Betreuer: Goetz Lindenmaier, Holger Bär)

            Erweiterung eines Metaprogrammiersytems um einen iterativ aktualisierbaren Zwischensprachaufbau

            Hannah Schröter  (Diplomarbeitsabschlußvortrag, Betreuer: Dr. Sabine Glesner)

            Codegenerierung für digitale Signalprozessoren: Erweiterung eines Codegeneratorgenerators basierend auf Graphersetzungsmethoden

Vortragsort: Seminarraum 1.1.37 im FZI

Donnerstag, 6. März  2003: Martin Kalisch (Diplomarbeitseinführungsvortrag, Betreuer: Boris Boesler)

            Maschinensimulation zur Codeerzeugung

            Stefan Mandel (Diplomarbeitsabschlußvortrag, Betreuer: Dirk Heuzeroth )

            Generierung von statischen und dynamischen Analysen zur Erkennung von Entwurfsmustern

            David Metzler (Studienarbeit, Betreuer: Markus Noga)

            Ein Rahmenwerk für die Optimierung von XSLT

Vortragsort: Seminarraum 1.1.37 im FZI

Donnerstag, 13. Februar  2003: Hans-Hosea Schäfer (Diplomarbeitseinführungsvortrag, Betreuer: Dirk Heuzeroth)

            C-Quellcodetransformationen unter Berücksichtigung des Präprozessors

Vortragsort: Seminarraum 207 im AVG

Donnerstag, 06. Februar  2003:  Matthias Jäger (Seminarvortrag, Betreuer: Dr. Sabine Glesner)

            Sprachformalisierung in Isabelle/HOL am Beispiel von Java

Vortragsort: Seminarraum 207 im AVG

Donnerstag, 23. Januar 2003:  Marcus Denker (Studienarbeit, Betreuer: Dirk Heuzeroth)

Entwurf von Optimierungen für Squeak

Vortragsort: Seminarraum 207 im AVG

Donnerstag, 23. Januar 2003: Sebastian Hack (Studienarbeit, Betreuer: Boris Boesler)

Registerzuteiler für CGGG

Vortragsort: Seminarraum 207 im AVG

Donnerstag, 9. Januar 2003: Steffen Schott (Diplomarbeitsabschlußvortrag, Betreuer: Markus Noga)

Anforderungsgetriebene XSLT Transformation

Vortragsort: Seminarraum 207 im AVG

Montag, 9. Dezember 2002: Thomas Marz (Studienarbeitsvortrag, Betreuer: Olaf Seng)

Visualisierung von Softwaresystemen

Vortragsort: Seminarraum 207 im AVG

Montag, 9. Dezember 2002: Dennis Strein (Diplomarbeitsabschlußvortrag, Betreuer: Dirk Heuzeroth)

Entwicklung eines inkrementellen nebenläufigen Übersetzers

Vortragsort: Seminarraum 207 im AVG

Montag, 9. Dezember 2002: Martin Kalisch (Studienarbeitsvortrag, Betreuer: Boris Boesler)

Implementierung eines Itanium-Assembler-Backends mit CGGG

Vortragsort: Seminarraum 207 im AVG

Donnerstag, 21. November 2002:  Stephan Wagner (Diplomarbeitsabschlußvortrag,  Betreuer: Dr. Kevin Elphinstone, Dirk Heuzeroth, Elke Pulvermüller)

Identifying and Modeling Components in the SawMill Operating System

Vortragsort: Seminarraum 207 im AVG

Donnerstag, 14. November 2002: Felix Müller (Diplomarbeitseinführungsvortrag, Betreuer:  Michael Winter)

Analyse der Model Driven Architekture (MDA) anhand des Entwicklungswerkzeuges Arcstyler

Vortragsort: Seminarraum 207 im AVG

Donnerstag, 14. November 2002: Tobias Küfner (Studienarbeitsvortrag, Betreuer: Holger Bär)

Protokollverifikation für objektbasierte Systeme

Vortragsort: Seminarraum 207 im AVG

Donnerstag, 24. Oktober 2002: Christian Stenzel (Vorstellungsgesprächsvortrag) 

Implementationsmodelle für Methodenaufrufabfang basierend auf formaler Semantik 

Vortragsort: Seminarraum 207 im AVG


page maintained by Mamdouh Abu-Sakran