\relax 
\bibstyle{diplom}
\bibdata{diplom}
\bibcite{atkinson91}{\citeauthoryear {Atkinson \bgroup et al.\egroup }{91}}
\bibcite{balzert93}{\citeauthoryear {Balzert}{93}}
\bibcite{boehm79}{\citeauthoryear {Boehm}{79}}
\bibcite{chen76}{\citeauthoryear {Chen}{76}}
\bibcite{day93}{\citeauthoryear {Day}{93}}
\bibcite{fricke95}{\citeauthoryear {Fricke}{95}}
\bibcite{geis95}{\citeauthoryear {Geisler}{95}}
\bibcite{glinz93}{\citeauthoryear {Glinz}{93}}
\bibcite{glinz95}{\citeauthoryear {Glinz}{95}}
\bibcite{gut91}{\citeauthoryear {Guttenberg}{91}}
\@writefile{toc}{\string\contentsline\space {chapter}{Literaturverzeichnis}{97}}
\bibcite{hachmann96}{\citeauthoryear {Hachmann}{96}}
\bibcite{harel90}{\citeauthoryear {Harel \bgroup et al.\egroup }{90}}
\bibcite{harel85}{\citeauthoryear {Harel, Pnueli}{85}}
\bibcite{harel87}{\citeauthoryear {Harel}{87}}
\bibcite{heni84}{\citeauthoryear {Henize}{84}}
\bibcite{hopcroft90}{\citeauthoryear {Hopcroft, Ullman}{90}}
\bibcite{huizing88}{\citeauthoryear {Huizing \bgroup et al.\egroup }{88}}
\bibcite{huizing91}{\citeauthoryear {Huizing, de Roever}{91}}
\bibcite{StPmod93}{\citeauthoryear {IDEOMTModels}{93}}
\bibcite{StPcust94}{\citeauthoryear {IDEStPCust}{94}}
\bibcite{StPim93}{\citeauthoryear {IDEStPIM}{93}}
\bibcite{StPoms94}{\citeauthoryear {IDEStPOMS}{94}}
\bibcite{StPpc93}{\citeauthoryear {IDEStPPC}{93}}
\bibcite{StPqrs94}{\citeauthoryear {IDEStPQRS}{94}}
\bibcite{StPwp93}{\citeauthoryear {IDEStPTWP}{93}}
\bibcite{jessen87}{\citeauthoryear {Jessen, Valk}{87}}
\bibcite{klees94}{\citeauthoryear {Klees, Schmauch}{94}}
\bibcite{krueger74}{\citeauthoryear {Kr\active@dq \dq@prtct{u@}ger}{74}}
\bibcite{leveson94}{\citeauthoryear {Leveson \bgroup et al.\egroup }{94}}
\bibcite{losavio94}{\citeauthoryear {Losavio \bgroup et al.\egroup }{94}}
\bibcite{MMM93}{\citeauthoryear {Mathiske \bgroup et al.\egroup }{93}}
\bibcite{MM93}{\citeauthoryear {Matthes, M\active@dq \dq@prtct{u@}\active@dq \dq@prtct{s@}ig}{93}}
\bibcite{matthes92}{\citeauthoryear {Matthes}{93}}
\bibcite{muessig94}{\citeauthoryear {M\active@dq \dq@prtct{u@}\active@dq \dq@prtct{s@}ig}{94}}
\bibcite{neufeld93}{\citeauthoryear {Neufeld}{93}}
\bibcite{nietsch96}{\citeauthoryear {Nietsch}{96}}
\bibcite{oberweis96}{\citeauthoryear {Oberweis}{96}}
\bibcite{page91}{\citeauthoryear {Page}{91}}
\bibcite{pnueli91}{\citeauthoryear {Pnueli, Shalev}{91}}
\bibcite{raasch91}{\citeauthoryear {Raasch}{91}}
\bibcite{reisig82}{\citeauthoryear {Reisig}{82}}
\bibcite{rumb91}{\citeauthoryear {Rumbaugh \bgroup et al.\egroup }{91}}
\bibcite{schroeder97}{\citeauthoryear {Schr\newumlaut oder}{97}}
\bibcite{sommer96}{\citeauthoryear {Sommerville}{96}}
\bibcite{stamer97}{\citeauthoryear {Stamer}{97}}
\bibcite{thomas92}{\citeauthoryear {Thomas, Nejmeh}{92}}
\bibcite{beek94}{\citeauthoryear {v.d. Beeck}{94}}
\bibcite{versteegen96}{\citeauthoryear {Versteegen}{96}}
\bibcite{wasser89}{\citeauthoryear {Wassermann}{89}}
\global\@namedef{cp@literatu}{
\setcounter{page}{101}
\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}{3}
\setcounter{section}{3}
\setcounter{subsection}{0}
\setcounter{subsubsection}{0}
\setcounter{paragraph}{0}
\setcounter{subparagraph}{0}
\setcounter{figure}{0}
\setcounter{table}{0}
\setcounter{bspcount}{0}
}