Oberseminar SS 2004

Themen

• Prof. Arnd Poetzsch-Heffter:
  From Structured Heaps to Encapsulated Runtime Components

• Jan Schäfer:
  Katja: Ein Werkzeug zum Generieren von Java-Klassen zur Beschreibung der abstrakten Syntax von Programmiersprachen

• Prof. Arnd Poetzsch-Heffter:
  Anmerkung zum richtigen Promovieren

• Marek Gawkowski:
  Credible Compilation

• André Platzer von der Karlsruhe Universität berichtet über das Thema seiner Diplomarbeit:
  An Object-Oriented Dynamic Logic with Updates

• Nicole Rauch:
  Formal Verification of a Commercial Smart Card Applet with Multiple Tools

• Klaus Dräger berichtet über das Thema seiner Diplomarbeit:
  Verifikation von JML-Annotationen in Diet Java Card mit Hilfe einer Programmlogik

• Holger Diekmann:
  Resource consumption analysis of product line architectures

• Jean-Marie Gaillourdet:
  Modulsysteme für Java - Zwei Alternativen aus Theorie und Praxis

• Pierre Metz:
  Software Engineering - A View from the Front: Von Qualitätsmodellen zu effektiven Projekten

• Markus Reitz:
  Ownerships domains

• Nicole Rauch:
  Proposal der Dissertation