\begin{slide}{Projekt-Themen}

  \begin{itemize}
  \item
    Erkennen von Codeverdopplungen,
    Extrahieren von Mustern,
    Erkennen der Anwendbarkeit von Mustern
  \item Refactorings als Eclipsefp-Plugin
    \url{http://eclipsefp.sourceforge.net/}
  \item
    Erweiterung der autotool-Aufgabe
    zu Java-Methodenaufrufen
    \url{https://autotool.imn.htwk-leipzig.de/cgi-bin/Trial.cgi?topic=TypeCheck-Quiz}
    (static $\to$ nonstatic, generic)
  \item
    autotool: Beschreibungssprache für
    formale Sprachen (mit Sprachoperationen, 
    Tester und Generator)
  \end{itemize}

\end{slide}
