1 \documentclass[a4paper,12pt]{article}
3 \usepackage[german]{babel}
4 \usepackage[T1]{fontenc}
5 \usepackage[latin1]{inputenc}
9 \bibliographystyle{alpha}
11 \def\isac{${\cal I}\mkern-2mu{\cal S}\mkern-5mu{\cal AC}$}
12 \def\sisac{\footnotesize${\cal I}\mkern-2mu{\cal S}\mkern-5mu{\cal AC}$}
18 \bf Interactive Course Material for Signal Processing based on Isabelle/\isac\\~\\
20 \sisac-Projektteam des Instituts für Softwaretechnologie,\\Technische Universität Graz\\
23 Betreuer: Dr. Walther Neuper
26 \author{Jan Simon Rocnik\\{\tt jan.rocnik@student.tugraz.at}}
35 \section{Zur Aufgabenstellung}
39 \section{Planung des Projektes}
43 \subsection{Zeitplanung des Projekt}
44 Die Planung des Projekts teilt sich in folgende Iterationen:
46 \item \textbf{Sammeln von Informationen über Themengebite und deren Realisierbarkeit } (29.06. -- 27.07.)
47 \item \textbf{1. Präsentation - Auswählen der realisierbaren Themengebiete} (27.07.)
48 \item \textbf{Ausarbeiten der Aufgaben in \isac} (01.09. -- 11.11.)
49 \item \textbf{Dokumentation der Aufgaben} (14.11. -- 02.12.)
50 \item \textbf{Ausarbeitung in Latex, Bakkarbeit} (05.12. -- todo)
51 \item \textbf{2. Präsentation - Abschluss der Arbeit} (todo)
54 \section{Konzepte und Lösungen}
56 \section{Beschreibung der Meilensteine}\label{ms-desc}
58 \section{Bericht zum Projektverlauf}
60 \section{Abschliesende Bemerkungen}
71 \section{Demobeispiel}\label{demo-code}
78 \section{Stundenliste}
80 \subsection*{Voraussetzungen zum Arbeitsbeginn schaffen}
81 \begin{tabular}[t]{lll}
82 {\bf Datum} & {\bf Stunden} & {\bf Beschreibung} \\
83 10.02.2011 & 2:00 & Besprechung der Problemstellung \\