\relax 
\@writefile{toc}{\string\contentsline\space {chapter}{\string\numberline\space {4.}Spezifikation dynamischen Systemverhaltens}{15}}
\@writefile{lof}{\string\addvspace\space {10pt}}
\@writefile{lot}{\string\addvspace\space {10pt}}
\newlabel{Chap:Spez}{{4}{15}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {4.1}Sprachen}{15}}
\newlabel{Sec:Sprachen}{{4.1}{15}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {4.1.1}Nat\string\active@dq\space \dq@prtct{u@}rliche Sprache}{15}}
\newlabel{SubSec:NatSprach}{{4.1.1}{15}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {4.1.2}Pseudokode}{15}}
\newlabel{SubSec:Pseudokode}{{4.1.2}{15}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {4.1.3}Programmiersprachen}{15}}
\newlabel{SubSec:Progsprach}{{4.1.3}{15}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {4.1.4}Specification and Description Language (SDL)}{15}}
\newlabel{SubSec:SDL}{{4.1.4}{15}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {4.2}Zustandsautomaten}{15}}
\newlabel{Sec:Zustand}{{4.2}{15}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {4.2.1}Endliche Automaten}{15}}
\newlabel{SubSec:EA}{{4.2.1}{15}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {4.2.2}Statecharts}{15}}
\newlabel{SubSec:Statecharts}{{4.2.2}{15}}
\@writefile{toc}{\string\contentsline\space {subsubsection}{\string\numberline\space {4.2.2.1}Statechart-Metamodell}{15}}
\newlabel{SubSubSec:StateMeta}{{4.2.2.1}{15}}
\@writefile{toc}{\string\contentsline\space {subsubsection}{\string\numberline\space {4.2.2.2}Vorteile gegen\string\active@dq\space \dq@prtct{u@}ber Endlichen Automaten}{15}}
\newlabel{SubSubSec:VorteileEA}{{4.2.2.2}{15}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {4.3}Petrinetze}{15}}
\newlabel{Sec:Petri}{{4.3}{15}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {4.4}Logikbasierte Techniken}{15}}
\newlabel{Sec:Logic}{{4.4}{15}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {4.5}Entscheidungstabellen und -b\string\active@dq\space \dq@prtct{a@}ume}{15}}
\newlabel{Sec:EntTab}{{4.5}{15}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {4.6}Vergleich der Spezifikationsm\string\active@dq\space \dq@prtct{o@}glichkeiten}{15}}
\newlabel{Sec:Vergl}{{4.6}{15}}
\global\@namedef{cp@spez}{
\setcounter{page}{17}
\setcounter{equation}{0}
\setcounter{enumi}{0}
\setcounter{enumii}{0}
\setcounter{enumiii}{0}
\setcounter{enumiv}{0}
\setcounter{footnote}{0}
\setcounter{mpfootnote}{0}
\setcounter{part}{0}
\setcounter{chapter}{4}
\setcounter{section}{6}
\setcounter{subsection}{0}
\setcounter{subsubsection}{2}
\setcounter{paragraph}{0}
\setcounter{subparagraph}{0}
\setcounter{figure}{0}
\setcounter{table}{0}
\setcounter{bspcount}{0}
}