\documentclass[12pt]{article}

\usepackage{german}
\usepackage{a4wide}

%\nonstopmode

% for better placement fo floats
\renewcommand{\topfraction}{1}
\renewcommand{\bottomfraction}{1}
\renewcommand{\textfraction}{0}

\title{Die Spezifikationsmethode XYZ}

\author{Vorname Nachname}
\date{}

\begin{document}

\maketitle

\section{Einleitung}

\nocite{Beeck1994}
\nocite{Braek1993}
\nocite{Chandy1989}
\nocite{Ellsberger1997}
\nocite{Esparza1999}
\nocite{Harel1996}
\nocite{Harel1987}
\nocite{HarelPoliti1998}
\nocite{Hinkel1998}
\nocite{Hoare1985}
\nocite{Krueger1997}
\nocite{Knapp1994}
\nocite{Misra1995}
\nocite{Selic1994}
\nocite{Scholz1998}

\nocite{SDLWeb}
\nocite{SDLWebTutorial}
\nocite{SDLCompNet1996}

\nocite{UnityWeb}
\nocite{RoomWeb}
\nocite{CSPWeb}
\nocite{StatechartWeb}

\nocite{FormalMethods}

\paragraph{Umfeld}

{\em aus welchem Umfeld stammt das Konzept: Universit"at; Industrie;
     Theorie; SoftwareEngineering...}

\section{Spezifikationstechniken}

{\em wie werden Spezifikationen notiert: Formeln, Logik, Graphik, ...}

\section{Wesentliche Konzepte}

\paragraph{Struktur}

{\em ist die Systembeschreibung strukturiert? Werden die Systeme global/
lokal beschrieben. Werden Komponenten/System explizit unterschieden?
Gibt es Hierarhcie?}

\paragraph{Verhalten} 

{\em wie wird das Verhalten beschrieben: nachrichten-/zustands-orientiert,...}

\paragraph{Formalit"at}

{\em Welches semantische Konzept liegt der Spezifikationstechnik zugrunde.
wie `formal' werden die Systeme beschrieben?}

\paragraph{Darstellung und Komplexit"at}

{\em Welche Systemarten werden beschrieben? Was kann alles modelliert
werden?}

\section{Diskussion mit vergleichbaren Verfahren}

{\em aus dem Seminar; vgl. Vorbesprechung}

\section{Bewertung und Erweiterungen}

\subsection{Tauglichkeit der Techniken, Ausdrucksm"achtigkeit}

{\em Wie geeignet war die Technik zur Spezifikation von Netbill? Konnten
alle Eigenschaften beschrieben werden? Leicht, schwer, gar nicht}

\subsection{Kritik}

{\em persoenliche Kritik zur verwendeten Technik. Wie schnell war sie
zu verstehen? mit welchem Aufwand konnte das Beispiel erstellt werden?}

\begin{appendix}
\section{Modellierung des Netbill-Protokolls}
\end{appendix}

\bibliographystyle{alpha}
\bibliography{lit}

\end{document}