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}