
neuper@42073: \documentclass[a4paper,12pt]{article}
jan@42235: 
jan@42235: \usepackage[german]{babel}
jan@42235: \usepackage[T1]{fontenc}
jan@42235: \usepackage[latin1]{inputenc}
jan@42235: 
neuper@42073: \usepackage{graphicx}
jan@42235: 
neuper@42073: \bibliographystyle{alpha}
neuper@42073: 
neuper@42073: \def\isac{${\cal I}\mkern-2mu{\cal S}\mkern-5mu{\cal AC}$}
neuper@42073: \def\sisac{\footnotesize${\cal I}\mkern-2mu{\cal S}\mkern-5mu{\cal AC}$}
neuper@42073: 
neuper@42073: \begin{document}
neuper@42073: 
jan@42235: \title{
jan@42235: 	\Large{
jan@42235:   	\bf Interactive Course Material for Signal Processing based on Isabelle/\isac\\~\\
jan@42235:   }
jan@42235: 	\sisac-Projektteam des Instituts für Softwaretechnologie,\\Technische Universität Graz\\
jan@42235: 	\vspace{0.7cm}
jan@42235: 	\large{
jan@42235: 		Betreuer: Dr. Walther Neuper
jan@42235: 	}
jan@42235: }
jan@42235: \author{Jan Simon Rocnik\\{\tt jan.rocnik@student.tugraz.at}}
jan@42235: 
jan@42235: \date{\today}
neuper@42073: \maketitle
neuper@42073: \clearpage
neuper@42073: \tableofcontents
neuper@42073: \clearpage
neuper@42073: 
neuper@42073: 
neuper@42073: \section{Zur Aufgabenstellung}
neuper@42073: 
jan@42235: todo
neuper@42073: 
neuper@42073: \section{Planung des Projektes}
neuper@42073: 
jan@42235: todo
neuper@42073: 
jan@42235: \subsection{Zeitplanung des Projekt}
jan@42235: Die Planung des Projekts teilt sich in folgende Iterationen:
neuper@42073: \begin{enumerate}
jan@42235: \item \textbf{Sammeln von Informationen über Themengebite und deren Realisierbarkeit } (29.06. -- 27.07.)
jan@42235: \item \textbf{1. Präsentation - Auswählen der realisierbaren Themengebiete} (27.07.)
jan@42235: \item \textbf{Ausarbeiten der Aufgaben in \isac} (01.09. -- 11.11.)
jan@42235: \item \textbf{Dokumentation der Aufgaben} (14.11. -- 02.12.)
jan@42235: \item \textbf{Ausarbeitung in Latex, Bakkarbeit} (05.12. -- todo)
jan@42235: \item \textbf{2. Präsentation - Abschluss der Arbeit} (todo)
neuper@42073: \end{enumerate}
neuper@42073: 
jan@42235: \section{Konzepte und Lösungen}
jan@42235: todo
neuper@42073: \section{Beschreibung der Meilensteine}\label{ms-desc}
jan@42235: todo
neuper@42073: \section{Bericht zum Projektverlauf}
jan@42235: todo
jan@42235: \section{Abschliesende Bemerkungen}
jan@42235: todo
neuper@42073: 
neuper@42073: \clearpage
neuper@42073: 
neuper@42073: \bibliography{bib}
neuper@42073: 
neuper@42073: \clearpage
neuper@42073: 
neuper@42073: \appendix
neuper@42073: %\section*{Anhang}
neuper@42073: \section{Demobeispiel}\label{demo-code}
neuper@42073: \begin{verbatim}
neuper@42073: 
jan@42235: bsp
neuper@42073: 
neuper@42073: \end{verbatim}
neuper@42073: 
neuper@42073: \section{Stundenliste}
neuper@42073: 
neuper@42073: \subsection*{Voraussetzungen zum Arbeitsbeginn schaffen}
neuper@42073: \begin{tabular}[t]{lll}
neuper@42073:     {\bf Datum} & {\bf Stunden} & {\bf Beschreibung} \\
neuper@42073:     10.02.2011 & 2:00 & Besprechung der Problemstellung \\
neuper@42073: \end{tabular}
neuper@42073: 
neuper@42073: 
neuper@42073: \end{document}




