% ------------------------------------------------------------------ %
%                                                                    %
% Datei: spez.tex                                                    %
% Autor: Oliver Nietsch                                              %
%                                                                    %
% Universitaet Hamburg                                               %
% Fachbereich Informatik                                             %
% Arbeitsbereich DBIS                                                %
%                                                                    %
% Thema: Diplomarbeit: Die Modellierung und Validierung dynamischen  %
%                      Systemverhaltens am Beispiel von StP/OMT      %
%                      und Tycoon                                    %
%                                                                    %
% Inhalt: LaTeX-Dokument: Diplomarbeit,                              %
%                         Kapitel 3: Spezifikationsmoeglichkeiten    %
%                                    dynamischen Systemverhaltens    %
%                                                                    %
% Version vom  9. 7.1996                                             %
% ------------------------------------------------------------------ %

\chapter{Spezifikation dynamischen Systemverhaltens}
\label{Chap:Spez}

\section{Sprachen}
\label{Sec:Sprachen}

\subsection{Nat"urliche Sprache}
\label{SubSec:NatSprach}

\subsection{Pseudokode}
\label{SubSec:Pseudokode}

\subsection{Programmiersprachen}
\label{SubSec:Progsprach}

\subsection{Specification and Description Language (SDL)}
\label{SubSec:SDL}

\section{Zustandsautomaten}
\label{Sec:Zustand}

\subsection{Endliche Automaten}
\label{SubSec:EA}

\subsection{Statecharts}
\label{SubSec:Statecharts}

\subsubsection{Statechart-Metamodell}
\label{SubSubSec:StateMeta}

\subsubsection{Vorteile gegen"uber Endlichen Automaten}
\label{SubSubSec:VorteileEA}

\section{Petrinetze}
\label{Sec:Petri}

\section{Logikbasierte Techniken}
\label{Sec:Logic}

\section{Entscheidungstabellen und -b"aume}
\label{Sec:EntTab}

\section{Vergleich der Spezifikationsm"oglichkeiten}
\label{Sec:Vergl}

\clearemptydoublepage
