Removed title page.
1.1 Binary file book/out/buchblock.pdf has changed
2.1 --- a/book/src/document.aux Wed Mar 30 15:52:38 2011 +0200
2.2 +++ b/book/src/document.aux Wed Mar 30 17:44:36 2011 +0200
2.3 @@ -18,54 +18,54 @@
2.4 \@writefile{toc}{\select@language{ngerman}}
2.5 \@writefile{lof}{\select@language{ngerman}}
2.6 \@writefile{lot}{\select@language{ngerman}}
2.7 -\@writefile{toc}{\contentsline {chapter}{\numberline {1}Vorwort}{7}{chapter.1}}
2.8 +\@writefile{toc}{\contentsline {chapter}{\numberline {1}Vorwort}{5}{chapter.1}}
2.9 \@writefile{lof}{\addvspace {10\p@ }}
2.10 \@writefile{lot}{\addvspace {10\p@ }}
2.11 \@writefile{lol}{\addvspace {10\p@ }}
2.12 \@writefile{loa}{\addvspace {10\p@ }}
2.13 -\@writefile{lof}{\contentsline {figure}{\numberline {\relax 1.1}{\ignorespaces Luftverkehrsrouten}}{7}{figure.1.1}}
2.14 -\@writefile{toc}{\contentsline {section}{\numberline {1.1}Danksagungen}{8}{section.1.1}}
2.15 +\@writefile{lof}{\contentsline {figure}{\numberline {\relax 1.1}{\ignorespaces Luftverkehrsrouten}}{5}{figure.1.1}}
2.16 +\@writefile{toc}{\contentsline {section}{\numberline {1.1}Danksagungen}{6}{section.1.1}}
2.17 \citation{moderne_flugsicherung}
2.18 \citation{moderne_flugsicherung}
2.19 \citation{moderne_flugsicherung}
2.20 -\@writefile{toc}{\contentsline {chapter}{\numberline {2}Einleitung}{9}{chapter.2}}
2.21 +\@writefile{toc}{\contentsline {chapter}{\numberline {2}Einleitung}{7}{chapter.2}}
2.22 \@writefile{lof}{\addvspace {10\p@ }}
2.23 \@writefile{lot}{\addvspace {10\p@ }}
2.24 \@writefile{lol}{\addvspace {10\p@ }}
2.25 \@writefile{loa}{\addvspace {10\p@ }}
2.26 -\@writefile{lof}{\contentsline {figure}{\numberline {\relax 2.1}{\ignorespaces Ursachen f\IeC {\"u}r Abflugversp\IeC {\"a}tungen in Europa. \emph {Quelle: \cite {moderne_flugsicherung}}}}{10}{figure.2.1}}
2.27 -\newlabel{fig:atfm_stats}{{\relax 2.1}{10}{Ursachen für Abflugverspätungen in Europa. \emph {Quelle: \cite {moderne_flugsicherung}}\relax }{figure.2.1}{}}
2.28 -\@writefile{toc}{\contentsline {section}{\numberline {2.1}Zielsetzung}{10}{section.2.1}}
2.29 -\@writefile{toc}{\contentsline {section}{\numberline {2.2}Aufbau der Arbeit}{11}{section.2.2}}
2.30 -\@writefile{toc}{\contentsline {section}{\numberline {2.3}Comsoft GmbH}{12}{section.2.3}}
2.31 +\@writefile{lof}{\contentsline {figure}{\numberline {\relax 2.1}{\ignorespaces Ursachen f\IeC {\"u}r Abflugversp\IeC {\"a}tungen in Europa. \emph {Quelle: \cite {moderne_flugsicherung}}}}{8}{figure.2.1}}
2.32 +\newlabel{fig:atfm_stats}{{\relax 2.1}{8}{Ursachen für Abflugverspätungen in Europa. \emph {Quelle: \cite {moderne_flugsicherung}}\relax }{figure.2.1}{}}
2.33 +\@writefile{toc}{\contentsline {section}{\numberline {2.1}Zielsetzung}{8}{section.2.1}}
2.34 +\@writefile{toc}{\contentsline {section}{\numberline {2.2}Aufbau der Arbeit}{9}{section.2.2}}
2.35 +\@writefile{toc}{\contentsline {section}{\numberline {2.3}Comsoft GmbH}{10}{section.2.3}}
2.36 \citation{moderne_flugsicherung}
2.37 -\@writefile{toc}{\contentsline {chapter}{\numberline {3}Grundlagen}{13}{chapter.3}}
2.38 +\@writefile{toc}{\contentsline {chapter}{\numberline {3}Grundlagen}{11}{chapter.3}}
2.39 \@writefile{lof}{\addvspace {10\p@ }}
2.40 \@writefile{lot}{\addvspace {10\p@ }}
2.41 \@writefile{lol}{\addvspace {10\p@ }}
2.42 \@writefile{loa}{\addvspace {10\p@ }}
2.43 -\@writefile{toc}{\contentsline {section}{\numberline {3.1}Flugsicherung}{13}{section.3.1}}
2.44 -\@writefile{toc}{\contentsline {subsection}{\numberline {3.1.1}Luftraumorganisation}{13}{subsection.3.1.1}}
2.45 -\@writefile{toc}{\contentsline {subsubsection}{Fluginformationsgebiet}{13}{section*.2}}
2.46 +\@writefile{toc}{\contentsline {section}{\numberline {3.1}Flugsicherung}{11}{section.3.1}}
2.47 +\@writefile{toc}{\contentsline {subsection}{\numberline {3.1.1}Luftraumorganisation}{11}{subsection.3.1.1}}
2.48 +\@writefile{toc}{\contentsline {subsubsection}{Fluginformationsgebiet}{11}{section*.2}}
2.49 \citation{moderne_flugsicherung}
2.50 -\@writefile{toc}{\contentsline {subsubsection}{Routensystem}{14}{section*.3}}
2.51 -\newlabel{grundlagen:routensystem}{{3.1.1}{14}{Routensystem\relax }{section*.3}{}}
2.52 -\@writefile{toc}{\contentsline {subsubsection}{Flugfl\IeC {\"a}chensystem}{14}{section*.4}}
2.53 -\@writefile{toc}{\contentsline {subsection}{\numberline {3.1.2}Staffelungsverfahren}{14}{subsection.3.1.2}}
2.54 -\@writefile{toc}{\contentsline {subsubsection}{L\IeC {\"a}ngsstaffelung}{15}{section*.5}}
2.55 -\newlabel{research:time_separation}{{3.1.2}{15}{Längsstaffelung\relax }{section*.5}{}}
2.56 -\@writefile{toc}{\contentsline {subsubsection}{H\IeC {\"o}henstaffelung}{15}{section*.6}}
2.57 -\newlabel{research:flight_level_separation}{{3.1.2}{15}{Höhenstaffelung\relax }{section*.6}{}}
2.58 -\@writefile{toc}{\contentsline {subsubsection}{Slot}{16}{section*.7}}
2.59 -\@writefile{toc}{\contentsline {subsection}{\numberline {3.1.3}GCAA}{16}{subsection.3.1.3}}
2.60 -\@writefile{toc}{\contentsline {subsubsection}{Beschr\IeC {\"a}nkungen auf Verkehrsflussdichten}{17}{section*.8}}
2.61 -\newlabel{research:gcaa:flow_restrictions}{{3.1.3}{17}{Beschränkungen auf Verkehrsflussdichten\relax }{section*.8}{}}
2.62 -\@writefile{lof}{\contentsline {figure}{\numberline {\relax 3.1}{\ignorespaces GCAA Luftraumbeschr\IeC {\"a}nkungen}}{17}{figure.3.1}}
2.63 -\newlabel{fig:near_east}{{\relax 3.1}{17}{GCAA Luftraumbeschränkungen\relax }{figure.3.1}{}}
2.64 -\@writefile{toc}{\contentsline {subsubsection}{Manuelle Abflugplanung}{18}{section*.9}}
2.65 -\@writefile{toc}{\contentsline {section}{\numberline {3.2}PRISMA-Architektur}{19}{section.3.2}}
2.66 -\@writefile{toc}{\contentsline {subsection}{\numberline {3.2.1}DMAP}{20}{subsection.3.2.1}}
2.67 -\@writefile{toc}{\contentsline {section}{\numberline {3.3}Compilerbau}{21}{section.3.3}}
2.68 +\@writefile{toc}{\contentsline {subsubsection}{Routensystem}{12}{section*.3}}
2.69 +\newlabel{grundlagen:routensystem}{{3.1.1}{12}{Routensystem\relax }{section*.3}{}}
2.70 +\@writefile{toc}{\contentsline {subsubsection}{Flugfl\IeC {\"a}chensystem}{12}{section*.4}}
2.71 +\@writefile{toc}{\contentsline {subsection}{\numberline {3.1.2}Staffelungsverfahren}{12}{subsection.3.1.2}}
2.72 +\@writefile{toc}{\contentsline {subsubsection}{L\IeC {\"a}ngsstaffelung}{13}{section*.5}}
2.73 +\newlabel{research:time_separation}{{3.1.2}{13}{Längsstaffelung\relax }{section*.5}{}}
2.74 +\@writefile{toc}{\contentsline {subsubsection}{H\IeC {\"o}henstaffelung}{13}{section*.6}}
2.75 +\newlabel{research:flight_level_separation}{{3.1.2}{13}{Höhenstaffelung\relax }{section*.6}{}}
2.76 +\@writefile{toc}{\contentsline {subsubsection}{Slot}{14}{section*.7}}
2.77 +\@writefile{toc}{\contentsline {subsection}{\numberline {3.1.3}GCAA}{14}{subsection.3.1.3}}
2.78 +\@writefile{toc}{\contentsline {subsubsection}{Beschr\IeC {\"a}nkungen auf Verkehrsflussdichten}{15}{section*.8}}
2.79 +\newlabel{research:gcaa:flow_restrictions}{{3.1.3}{15}{Beschränkungen auf Verkehrsflussdichten\relax }{section*.8}{}}
2.80 +\@writefile{lof}{\contentsline {figure}{\numberline {\relax 3.1}{\ignorespaces GCAA Luftraumbeschr\IeC {\"a}nkungen}}{15}{figure.3.1}}
2.81 +\newlabel{fig:near_east}{{\relax 3.1}{15}{GCAA Luftraumbeschränkungen\relax }{figure.3.1}{}}
2.82 +\@writefile{toc}{\contentsline {subsubsection}{Manuelle Abflugplanung}{16}{section*.9}}
2.83 +\@writefile{toc}{\contentsline {section}{\numberline {3.2}PRISMA-Architektur}{17}{section.3.2}}
2.84 +\@writefile{toc}{\contentsline {subsection}{\numberline {3.2.1}DMAP}{18}{subsection.3.2.1}}
2.85 +\@writefile{toc}{\contentsline {section}{\numberline {3.3}Compilerbau}{19}{section.3.3}}
2.86 \citation{compilers}
2.87 \citation{compilers}
2.88 \citation{compilers}
2.89 @@ -73,228 +73,228 @@
2.90 \citation{compilers}
2.91 \citation{compilers}
2.92 \citation{compilers}
2.93 -\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.1}Compilerarchitekturen}{22}{subsection.3.3.1}}
2.94 -\@writefile{lof}{\contentsline {figure}{\numberline {\relax 3.2}{\ignorespaces Ein Compiler. \emph {Quelle: \cite {compilers}}}}{22}{figure.3.2}}
2.95 -\newlabel{fig:compiler}{{\relax 3.2}{22}{Ein Compiler. \emph {Quelle: \cite {compilers}}\relax }{figure.3.2}{}}
2.96 -\@writefile{lof}{\contentsline {figure}{\numberline {\relax 3.3}{\ignorespaces Ein Interpreter. \emph {Quelle: \cite {compilers}}}}{22}{figure.3.3}}
2.97 -\newlabel{fig:interpreter}{{\relax 3.3}{22}{Ein Interpreter. \emph {Quelle: \cite {compilers}}\relax }{figure.3.3}{}}
2.98 -\@writefile{lof}{\contentsline {figure}{\numberline {\relax 3.4}{\ignorespaces Ein hybrider Compiler. \emph {Quelle: \cite {compilers}}}}{23}{figure.3.4}}
2.99 -\newlabel{fig:hybrid_compiler}{{\relax 3.4}{23}{Ein hybrider Compiler. \emph {Quelle: \cite {compilers}}\relax }{figure.3.4}{}}
2.100 -\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.2}Werkzeugunterst\IeC {\"u}tzung}{23}{subsection.3.3.2}}
2.101 -\@writefile{toc}{\contentsline {subsubsection}{LLVM}{24}{section*.10}}
2.102 -\@writefile{toc}{\contentsline {subsubsection}{\texttt {lex} und \texttt {flex}}{24}{section*.11}}
2.103 -\@writefile{toc}{\contentsline {subsubsection}{\texttt {yacc} und \texttt {bison}}{24}{section*.12}}
2.104 -\@writefile{toc}{\contentsline {section}{\numberline {3.4}Sicherheitsfaktoren}{24}{section.3.4}}
2.105 +\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.1}Compilerarchitekturen}{20}{subsection.3.3.1}}
2.106 +\@writefile{lof}{\contentsline {figure}{\numberline {\relax 3.2}{\ignorespaces Ein Compiler. \emph {Quelle: \cite {compilers}}}}{20}{figure.3.2}}
2.107 +\newlabel{fig:compiler}{{\relax 3.2}{20}{Ein Compiler. \emph {Quelle: \cite {compilers}}\relax }{figure.3.2}{}}
2.108 +\@writefile{lof}{\contentsline {figure}{\numberline {\relax 3.3}{\ignorespaces Ein Interpreter. \emph {Quelle: \cite {compilers}}}}{20}{figure.3.3}}
2.109 +\newlabel{fig:interpreter}{{\relax 3.3}{20}{Ein Interpreter. \emph {Quelle: \cite {compilers}}\relax }{figure.3.3}{}}
2.110 +\@writefile{lof}{\contentsline {figure}{\numberline {\relax 3.4}{\ignorespaces Ein hybrider Compiler. \emph {Quelle: \cite {compilers}}}}{21}{figure.3.4}}
2.111 +\newlabel{fig:hybrid_compiler}{{\relax 3.4}{21}{Ein hybrider Compiler. \emph {Quelle: \cite {compilers}}\relax }{figure.3.4}{}}
2.112 +\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.2}Werkzeugunterst\IeC {\"u}tzung}{21}{subsection.3.3.2}}
2.113 +\@writefile{toc}{\contentsline {subsubsection}{LLVM}{22}{section*.10}}
2.114 +\@writefile{toc}{\contentsline {subsubsection}{\texttt {lex} und \texttt {flex}}{22}{section*.11}}
2.115 +\@writefile{toc}{\contentsline {subsubsection}{\texttt {yacc} und \texttt {bison}}{22}{section*.12}}
2.116 +\@writefile{toc}{\contentsline {section}{\numberline {3.4}Sicherheitsfaktoren}{22}{section.3.4}}
2.117 \citation{eurocontrol_dman}
2.118 -\@writefile{toc}{\contentsline {section}{\numberline {3.5}Produktvergleich}{25}{section.3.5}}
2.119 -\@writefile{toc}{\contentsline {subsection}{\numberline {3.5.1}CFMU}{25}{subsection.3.5.1}}
2.120 -\@writefile{toc}{\contentsline {subsection}{\numberline {3.5.2}PATS Departure Manager}{25}{subsection.3.5.2}}
2.121 +\@writefile{toc}{\contentsline {section}{\numberline {3.5}Produktvergleich}{23}{section.3.5}}
2.122 +\@writefile{toc}{\contentsline {subsection}{\numberline {3.5.1}CFMU}{23}{subsection.3.5.1}}
2.123 +\@writefile{toc}{\contentsline {subsection}{\numberline {3.5.2}PATS Departure Manager}{23}{subsection.3.5.2}}
2.124 \citation{eurocontrol_dman}
2.125 \citation{flugleiter_dman}
2.126 \citation{flugleiter_dman}
2.127 -\@writefile{toc}{\contentsline {subsection}{\numberline {3.5.3}Departure Manager Frankfurt}{26}{subsection.3.5.3}}
2.128 -\@writefile{toc}{\contentsline {chapter}{\numberline {4}Anforderungsanalyse}{27}{chapter.4}}
2.129 +\@writefile{toc}{\contentsline {subsection}{\numberline {3.5.3}Departure Manager Frankfurt}{24}{subsection.3.5.3}}
2.130 +\@writefile{toc}{\contentsline {chapter}{\numberline {4}Anforderungsanalyse}{25}{chapter.4}}
2.131 \@writefile{lof}{\addvspace {10\p@ }}
2.132 \@writefile{lot}{\addvspace {10\p@ }}
2.133 \@writefile{lol}{\addvspace {10\p@ }}
2.134 \@writefile{loa}{\addvspace {10\p@ }}
2.135 -\@writefile{toc}{\contentsline {section}{\numberline {4.1}Modellierung der Luftraumbeschr\IeC {\"a}nkungen}{27}{section.4.1}}
2.136 +\@writefile{toc}{\contentsline {section}{\numberline {4.1}Modellierung der Luftraumbeschr\IeC {\"a}nkungen}{25}{section.4.1}}
2.137 \citation{iec_61508}
2.138 -\@writefile{toc}{\contentsline {subsection}{\numberline {4.1.1}Benutzerqualifikation}{28}{subsection.4.1.1}}
2.139 -\@writefile{toc}{\contentsline {subsection}{\numberline {4.1.2}Sicherheitsfaktoren}{28}{subsection.4.1.2}}
2.140 -\@writefile{toc}{\contentsline {subsubsection}{Statusmeldungen}{29}{section*.13}}
2.141 -\@writefile{toc}{\contentsline {subsubsection}{Redundanz}{29}{section*.14}}
2.142 +\@writefile{toc}{\contentsline {subsection}{\numberline {4.1.1}Benutzerqualifikation}{26}{subsection.4.1.1}}
2.143 +\@writefile{toc}{\contentsline {subsection}{\numberline {4.1.2}Sicherheitsfaktoren}{26}{subsection.4.1.2}}
2.144 +\@writefile{toc}{\contentsline {subsubsection}{Statusmeldungen}{27}{section*.13}}
2.145 +\@writefile{toc}{\contentsline {subsubsection}{Redundanz}{27}{section*.14}}
2.146 \citation{icao_4444}
2.147 \citation{icao_4444}
2.148 -\@writefile{toc}{\contentsline {subsection}{\numberline {4.1.3}Flugplandaten}{30}{subsection.4.1.3}}
2.149 -\@writefile{toc}{\contentsline {subsubsection}{Aerodrome}{30}{section*.15}}
2.150 -\@writefile{toc}{\contentsline {subsubsection}{Runway}{31}{section*.16}}
2.151 -\@writefile{toc}{\contentsline {subsubsection}{Aircraft Type}{31}{section*.17}}
2.152 -\@writefile{toc}{\contentsline {subsubsection}{Flight Type}{31}{section*.18}}
2.153 -\@writefile{toc}{\contentsline {subsubsection}{True Airspeed}{31}{section*.19}}
2.154 -\@writefile{toc}{\contentsline {subsection}{\numberline {4.1.4}Flussdichtenregelungen}{31}{subsection.4.1.4}}
2.155 -\newlabel{analysis:atccl:flow_restrictions}{{4.1.4}{31}{Flussdichtenregelungen\relax }{subsection.4.1.4}{}}
2.156 -\@writefile{toc}{\contentsline {section}{\numberline {4.2}Abflugplanungskomponente}{32}{section.4.2}}
2.157 -\@writefile{toc}{\contentsline {section}{\numberline {4.3}Musskriterien}{33}{section.4.3}}
2.158 -\@writefile{toc}{\contentsline {section}{\numberline {4.4}Sollkriterien}{34}{section.4.4}}
2.159 +\@writefile{toc}{\contentsline {subsection}{\numberline {4.1.3}Flugplandaten}{28}{subsection.4.1.3}}
2.160 +\@writefile{toc}{\contentsline {subsubsection}{Aerodrome}{28}{section*.15}}
2.161 +\@writefile{toc}{\contentsline {subsubsection}{Runway}{29}{section*.16}}
2.162 +\@writefile{toc}{\contentsline {subsubsection}{Aircraft Type}{29}{section*.17}}
2.163 +\@writefile{toc}{\contentsline {subsubsection}{Flight Type}{29}{section*.18}}
2.164 +\@writefile{toc}{\contentsline {subsubsection}{True Airspeed}{29}{section*.19}}
2.165 +\@writefile{toc}{\contentsline {subsection}{\numberline {4.1.4}Flussdichtenregelungen}{29}{subsection.4.1.4}}
2.166 +\newlabel{analysis:atccl:flow_restrictions}{{4.1.4}{29}{Flussdichtenregelungen\relax }{subsection.4.1.4}{}}
2.167 +\@writefile{toc}{\contentsline {section}{\numberline {4.2}Abflugplanungskomponente}{30}{section.4.2}}
2.168 +\@writefile{toc}{\contentsline {section}{\numberline {4.3}Musskriterien}{31}{section.4.3}}
2.169 +\@writefile{toc}{\contentsline {section}{\numberline {4.4}Sollkriterien}{32}{section.4.4}}
2.170 \citation{iec_61508}
2.171 -\@writefile{toc}{\contentsline {section}{\numberline {4.5}Abgrenzungskriterien}{35}{section.4.5}}
2.172 -\@writefile{toc}{\contentsline {section}{\numberline {4.6}Dokumentation}{35}{section.4.6}}
2.173 +\@writefile{toc}{\contentsline {section}{\numberline {4.5}Abgrenzungskriterien}{33}{section.4.5}}
2.174 +\@writefile{toc}{\contentsline {section}{\numberline {4.6}Dokumentation}{33}{section.4.6}}
2.175 \citation{ebnf}
2.176 -\@writefile{toc}{\contentsline {chapter}{\numberline {5}Entwurf}{37}{chapter.5}}
2.177 +\@writefile{toc}{\contentsline {chapter}{\numberline {5}Entwurf}{35}{chapter.5}}
2.178 \@writefile{lof}{\addvspace {10\p@ }}
2.179 \@writefile{lot}{\addvspace {10\p@ }}
2.180 \@writefile{lol}{\addvspace {10\p@ }}
2.181 \@writefile{loa}{\addvspace {10\p@ }}
2.182 -\@writefile{toc}{\contentsline {section}{\numberline {5.1}ATCCL}{37}{section.5.1}}
2.183 -\@writefile{toc}{\contentsline {subsection}{\numberline {5.1.1}Syntax}{38}{subsection.5.1.1}}
2.184 -\@writefile{toc}{\contentsline {subsubsection}{Notation}{38}{section*.20}}
2.185 -\newlabel{EBNF Notation}{{5.1}{38}{EBNF Notation\relax }{lstlisting.5.1}{}}
2.186 -\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.1}EBNF Notation}{38}{lstlisting.5.1}}
2.187 -\@writefile{toc}{\contentsline {subsubsection}{Buchstaben und Ziffern}{39}{section*.21}}
2.188 -\newlabel{ATCCL EBNF Buchstaben und Zeichen}{{5.2}{39}{ATCCL EBNF Buchstaben und Zeichen\relax }{lstlisting.5.2}{}}
2.189 -\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.2}ATCCL EBNF Buchstaben und Zeichen}{39}{lstlisting.5.2}}
2.190 -\@writefile{toc}{\contentsline {subsubsection}{Kommentare}{39}{section*.22}}
2.191 -\newlabel{ATCCL EBNF Kommentare}{{5.3}{39}{ATCCL EBNF Kommentare\relax }{lstlisting.5.3}{}}
2.192 -\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.3}ATCCL EBNF Kommentare}{39}{lstlisting.5.3}}
2.193 -\@writefile{toc}{\contentsline {subsubsection}{Terminatoren}{39}{section*.23}}
2.194 -\@writefile{toc}{\contentsline {subsubsection}{Bezeichner}{40}{section*.24}}
2.195 -\newlabel{ATCCL EBNF Bezeichner}{{5.4}{40}{ATCCL EBNF Bezeichner\relax }{lstlisting.5.4}{}}
2.196 -\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.4}ATCCL EBNF Bezeichner}{40}{lstlisting.5.4}}
2.197 -\@writefile{toc}{\contentsline {subsubsection}{Schl\IeC {\"u}sselw\IeC {\"o}rter}{40}{section*.25}}
2.198 -\newlabel{ATCCL EBNF Schluesselwoerter}{{5.5}{40}{ATCCL EBNF Schluesselwoerter\relax }{lstlisting.5.5}{}}
2.199 -\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.5}ATCCL EBNF Schluesselwoerter}{40}{lstlisting.5.5}}
2.200 -\@writefile{toc}{\contentsline {subsubsection}{Datentypen und Konstanten}{41}{section*.26}}
2.201 -\newlabel{ATCCL EBNF Datentypen}{{5.6}{41}{ATCCL EBNF Datentypen\relax }{lstlisting.5.6}{}}
2.202 -\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.6}ATCCL EBNF Datentypen}{41}{lstlisting.5.6}}
2.203 -\@writefile{toc}{\contentsline {subsubsection}{Flugplaneigenschaften}{42}{section*.27}}
2.204 -\newlabel{ATCCL EBNF Flugplaneigenschaften}{{5.7}{42}{ATCCL EBNF Flugplaneigenschaften\relax }{lstlisting.5.7}{}}
2.205 -\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.7}ATCCL EBNF Flugplaneigenschaften}{42}{lstlisting.5.7}}
2.206 -\@writefile{toc}{\contentsline {subsubsection}{Operatoren}{43}{section*.28}}
2.207 -\newlabel{ATCCL EBNF Operatoren}{{5.8}{43}{ATCCL EBNF Operatoren\relax }{lstlisting.5.8}{}}
2.208 -\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.8}ATCCL EBNF Operatoren}{43}{lstlisting.5.8}}
2.209 -\@writefile{toc}{\contentsline {subsubsection}{Regeldefinitionen}{43}{section*.29}}
2.210 -\newlabel{ATCCL EBNF Flugplanmuster}{{5.9}{43}{ATCCL EBNF Flugplanmuster\relax }{lstlisting.5.9}{}}
2.211 -\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.9}ATCCL EBNF Flugplanmuster}{43}{lstlisting.5.9}}
2.212 -\newlabel{ATCCL EBNF Separationsregeln}{{5.10}{44}{ATCCL EBNF Separationsregeln\relax }{lstlisting.5.10}{}}
2.213 -\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.10}ATCCL EBNF Separationsregeln}{44}{lstlisting.5.10}}
2.214 -\newlabel{ATCCL EBNF Flow Point}{{5.11}{45}{ATCCL EBNF Flow Point\relax }{lstlisting.5.11}{}}
2.215 -\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.11}ATCCL EBNF Flow Point}{45}{lstlisting.5.11}}
2.216 -\@writefile{toc}{\contentsline {subsubsection}{Programm}{45}{section*.30}}
2.217 -\newlabel{ATCCL EBNF Konfiguration}{{5.12}{45}{ATCCL EBNF Konfiguration\relax }{lstlisting.5.12}{}}
2.218 -\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.12}ATCCL EBNF Konfiguration}{45}{lstlisting.5.12}}
2.219 -\@writefile{toc}{\contentsline {subsection}{\numberline {5.1.2}Beispiele}{46}{subsection.5.1.2}}
2.220 -\@writefile{toc}{\contentsline {subsubsection}{Bsp. 1: Zielstellung}{46}{section*.31}}
2.221 -\@writefile{toc}{\contentsline {subsubsection}{Bsp. 1: Code}{46}{section*.32}}
2.222 -\newlabel{ATCCL Einfaches Beispiel}{{5.13}{46}{ATCCL Einfaches Beispiel\relax }{lstlisting.5.13}{}}
2.223 -\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.13}ATCCL Einfaches Beispiel}{46}{lstlisting.5.13}}
2.224 -\@writefile{toc}{\contentsline {subsubsection}{Bsp. 1: Bemerkungen}{46}{section*.33}}
2.225 -\@writefile{toc}{\contentsline {subsubsection}{Bsp. 2: Zielstellung}{47}{section*.34}}
2.226 -\@writefile{toc}{\contentsline {subsubsection}{Bsp. 2: Code}{47}{section*.35}}
2.227 -\newlabel{ATCCL Komplexes Beispiel}{{5.14}{47}{ATCCL Komplexes Beispiel\relax }{lstlisting.5.14}{}}
2.228 -\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.14}ATCCL Komplexes Beispiel}{47}{lstlisting.5.14}}
2.229 -\@writefile{toc}{\contentsline {subsubsection}{Bsp. 2: Bemerkungen}{47}{section*.36}}
2.230 -\@writefile{toc}{\contentsline {subsection}{\numberline {5.1.3}Compiler}{48}{subsection.5.1.3}}
2.231 -\@writefile{lof}{\contentsline {figure}{\numberline {\relax 5.1}{\ignorespaces Der \IeC {\"U}bersetzungsprozess}}{48}{figure.5.1}}
2.232 -\newlabel{fig:compile_process}{{\relax 5.1}{48}{Der Übersetzungsprozess\relax }{figure.5.1}{}}
2.233 +\@writefile{toc}{\contentsline {section}{\numberline {5.1}ATCCL}{35}{section.5.1}}
2.234 +\@writefile{toc}{\contentsline {subsection}{\numberline {5.1.1}Syntax}{36}{subsection.5.1.1}}
2.235 +\@writefile{toc}{\contentsline {subsubsection}{Notation}{36}{section*.20}}
2.236 +\newlabel{EBNF Notation}{{5.1}{36}{EBNF Notation\relax }{lstlisting.5.1}{}}
2.237 +\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.1}EBNF Notation}{36}{lstlisting.5.1}}
2.238 +\@writefile{toc}{\contentsline {subsubsection}{Buchstaben und Ziffern}{37}{section*.21}}
2.239 +\newlabel{ATCCL EBNF Buchstaben und Zeichen}{{5.2}{37}{ATCCL EBNF Buchstaben und Zeichen\relax }{lstlisting.5.2}{}}
2.240 +\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.2}ATCCL EBNF Buchstaben und Zeichen}{37}{lstlisting.5.2}}
2.241 +\@writefile{toc}{\contentsline {subsubsection}{Kommentare}{37}{section*.22}}
2.242 +\newlabel{ATCCL EBNF Kommentare}{{5.3}{37}{ATCCL EBNF Kommentare\relax }{lstlisting.5.3}{}}
2.243 +\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.3}ATCCL EBNF Kommentare}{37}{lstlisting.5.3}}
2.244 +\@writefile{toc}{\contentsline {subsubsection}{Terminatoren}{37}{section*.23}}
2.245 +\@writefile{toc}{\contentsline {subsubsection}{Bezeichner}{38}{section*.24}}
2.246 +\newlabel{ATCCL EBNF Bezeichner}{{5.4}{38}{ATCCL EBNF Bezeichner\relax }{lstlisting.5.4}{}}
2.247 +\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.4}ATCCL EBNF Bezeichner}{38}{lstlisting.5.4}}
2.248 +\@writefile{toc}{\contentsline {subsubsection}{Schl\IeC {\"u}sselw\IeC {\"o}rter}{38}{section*.25}}
2.249 +\newlabel{ATCCL EBNF Schluesselwoerter}{{5.5}{38}{ATCCL EBNF Schluesselwoerter\relax }{lstlisting.5.5}{}}
2.250 +\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.5}ATCCL EBNF Schluesselwoerter}{38}{lstlisting.5.5}}
2.251 +\@writefile{toc}{\contentsline {subsubsection}{Datentypen und Konstanten}{39}{section*.26}}
2.252 +\newlabel{ATCCL EBNF Datentypen}{{5.6}{39}{ATCCL EBNF Datentypen\relax }{lstlisting.5.6}{}}
2.253 +\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.6}ATCCL EBNF Datentypen}{39}{lstlisting.5.6}}
2.254 +\@writefile{toc}{\contentsline {subsubsection}{Flugplaneigenschaften}{40}{section*.27}}
2.255 +\newlabel{ATCCL EBNF Flugplaneigenschaften}{{5.7}{40}{ATCCL EBNF Flugplaneigenschaften\relax }{lstlisting.5.7}{}}
2.256 +\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.7}ATCCL EBNF Flugplaneigenschaften}{40}{lstlisting.5.7}}
2.257 +\@writefile{toc}{\contentsline {subsubsection}{Operatoren}{41}{section*.28}}
2.258 +\newlabel{ATCCL EBNF Operatoren}{{5.8}{41}{ATCCL EBNF Operatoren\relax }{lstlisting.5.8}{}}
2.259 +\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.8}ATCCL EBNF Operatoren}{41}{lstlisting.5.8}}
2.260 +\@writefile{toc}{\contentsline {subsubsection}{Regeldefinitionen}{41}{section*.29}}
2.261 +\newlabel{ATCCL EBNF Flugplanmuster}{{5.9}{41}{ATCCL EBNF Flugplanmuster\relax }{lstlisting.5.9}{}}
2.262 +\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.9}ATCCL EBNF Flugplanmuster}{41}{lstlisting.5.9}}
2.263 +\newlabel{ATCCL EBNF Separationsregeln}{{5.10}{42}{ATCCL EBNF Separationsregeln\relax }{lstlisting.5.10}{}}
2.264 +\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.10}ATCCL EBNF Separationsregeln}{42}{lstlisting.5.10}}
2.265 +\newlabel{ATCCL EBNF Flow Point}{{5.11}{43}{ATCCL EBNF Flow Point\relax }{lstlisting.5.11}{}}
2.266 +\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.11}ATCCL EBNF Flow Point}{43}{lstlisting.5.11}}
2.267 +\@writefile{toc}{\contentsline {subsubsection}{Programm}{43}{section*.30}}
2.268 +\newlabel{ATCCL EBNF Konfiguration}{{5.12}{43}{ATCCL EBNF Konfiguration\relax }{lstlisting.5.12}{}}
2.269 +\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.12}ATCCL EBNF Konfiguration}{43}{lstlisting.5.12}}
2.270 +\@writefile{toc}{\contentsline {subsection}{\numberline {5.1.2}Beispiele}{44}{subsection.5.1.2}}
2.271 +\@writefile{toc}{\contentsline {subsubsection}{Bsp. 1: Zielstellung}{44}{section*.31}}
2.272 +\@writefile{toc}{\contentsline {subsubsection}{Bsp. 1: Code}{44}{section*.32}}
2.273 +\newlabel{ATCCL Einfaches Beispiel}{{5.13}{44}{ATCCL Einfaches Beispiel\relax }{lstlisting.5.13}{}}
2.274 +\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.13}ATCCL Einfaches Beispiel}{44}{lstlisting.5.13}}
2.275 +\@writefile{toc}{\contentsline {subsubsection}{Bsp. 1: Bemerkungen}{44}{section*.33}}
2.276 +\@writefile{toc}{\contentsline {subsubsection}{Bsp. 2: Zielstellung}{45}{section*.34}}
2.277 +\@writefile{toc}{\contentsline {subsubsection}{Bsp. 2: Code}{45}{section*.35}}
2.278 +\newlabel{ATCCL Komplexes Beispiel}{{5.14}{45}{ATCCL Komplexes Beispiel\relax }{lstlisting.5.14}{}}
2.279 +\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.14}ATCCL Komplexes Beispiel}{45}{lstlisting.5.14}}
2.280 +\@writefile{toc}{\contentsline {subsubsection}{Bsp. 2: Bemerkungen}{45}{section*.36}}
2.281 +\@writefile{toc}{\contentsline {subsection}{\numberline {5.1.3}Compiler}{46}{subsection.5.1.3}}
2.282 +\@writefile{lof}{\contentsline {figure}{\numberline {\relax 5.1}{\ignorespaces Der \IeC {\"U}bersetzungsprozess}}{46}{figure.5.1}}
2.283 +\newlabel{fig:compile_process}{{\relax 5.1}{46}{Der Übersetzungsprozess\relax }{figure.5.1}{}}
2.284 \citation{design_patterns}
2.285 -\@writefile{toc}{\contentsline {subsubsection}{Scanner}{49}{section*.37}}
2.286 -\@writefile{toc}{\contentsline {subsubsection}{Parser}{49}{section*.38}}
2.287 -\@writefile{toc}{\contentsline {subsubsection}{Synthese}{49}{section*.39}}
2.288 -\@writefile{toc}{\contentsline {subsection}{\numberline {5.1.4}Virtuelle Maschine}{50}{subsection.5.1.4}}
2.289 -\@writefile{lof}{\contentsline {figure}{\numberline {\relax 5.2}{\ignorespaces ATCCL \texttt {VirtualMachine}}}{51}{figure.5.2}}
2.290 -\newlabel{fig:virtual_machine_basic}{{\relax 5.2}{51}{ATCCL \texttt {VirtualMachine}\relax }{figure.5.2}{}}
2.291 -\@writefile{toc}{\contentsline {subsubsection}{FlightPlan-Interface}{51}{section*.40}}
2.292 -\newlabel{design:flight_plan}{{5.1.4}{51}{FlightPlan-Interface\relax }{section*.40}{}}
2.293 -\@writefile{toc}{\contentsline {subsection}{\numberline {5.1.5}Compilerprototyp}{52}{subsection.5.1.5}}
2.294 -\@writefile{toc}{\contentsline {subsection}{\numberline {5.1.6}Evaluation von Flugplanmustern}{54}{subsection.5.1.6}}
2.295 -\newlabel{design:pattern_evaluation}{{5.1.6}{54}{Evaluation von Flugplanmustern\relax }{subsection.5.1.6}{}}
2.296 -\@writefile{toc}{\contentsline {subsubsection}{Beispiel}{54}{section*.41}}
2.297 -\newlabel{ATCCL Pattern-Beispiel}{{5.15}{54}{ATCCL Pattern-Beispiel\relax }{lstlisting.5.15}{}}
2.298 -\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.15}ATCCL Pattern-Beispiel}{54}{lstlisting.5.15}}
2.299 -\@writefile{toc}{\contentsline {subsection}{\numberline {5.1.7}Optimierung der Abflugzeit}{55}{subsection.5.1.7}}
2.300 -\newlabel{design:atot_calculation}{{5.1.7}{55}{Optimierung der Abflugzeit\relax }{subsection.5.1.7}{}}
2.301 -\@writefile{lof}{\contentsline {figure}{\numberline {\relax 5.3}{\ignorespaces ATCCL \texttt {Pattern}-Evaluation-Beispiel}}{56}{figure.5.3}}
2.302 -\newlabel{fig:pattern_evaluation1}{{\relax 5.3}{56}{ATCCL \texttt {Pattern}-Evaluation-Beispiel\relax }{figure.5.3}{}}
2.303 -\@writefile{toc}{\contentsline {subsubsection}{Algorithmus}{57}{section*.42}}
2.304 -\@writefile{loa}{\contentsline {algorithm}{\numberline {1}{\ignorespaces $resolve(separation, flowtime, flowtimes) \rightarrow flowtime$}}{57}{algorithm.1}}
2.305 -\@writefile{loa}{\contentsline {algorithm}{\numberline {2}{\ignorespaces $multresolve(flightplan, flightplans) \rightarrow atot$}}{58}{algorithm.2}}
2.306 -\@writefile{toc}{\contentsline {subsubsection}{Komplexit\IeC {\"a}t}{58}{section*.43}}
2.307 -\@writefile{toc}{\contentsline {subsubsection}{Alternative}{59}{section*.44}}
2.308 -\@writefile{toc}{\contentsline {subsubsection}{H\IeC {\"o}henstaffelung}{59}{section*.45}}
2.309 -\@writefile{toc}{\contentsline {section}{\numberline {5.2}DFLOW}{60}{section.5.2}}
2.310 -\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.1}DMAP-Interaktion}{60}{subsection.5.2.1}}
2.311 +\@writefile{toc}{\contentsline {subsubsection}{Scanner}{47}{section*.37}}
2.312 +\@writefile{toc}{\contentsline {subsubsection}{Parser}{47}{section*.38}}
2.313 +\@writefile{toc}{\contentsline {subsubsection}{Synthese}{47}{section*.39}}
2.314 +\@writefile{toc}{\contentsline {subsection}{\numberline {5.1.4}Virtuelle Maschine}{48}{subsection.5.1.4}}
2.315 +\@writefile{lof}{\contentsline {figure}{\numberline {\relax 5.2}{\ignorespaces ATCCL \texttt {VirtualMachine}}}{49}{figure.5.2}}
2.316 +\newlabel{fig:virtual_machine_basic}{{\relax 5.2}{49}{ATCCL \texttt {VirtualMachine}\relax }{figure.5.2}{}}
2.317 +\@writefile{toc}{\contentsline {subsubsection}{FlightPlan-Interface}{49}{section*.40}}
2.318 +\newlabel{design:flight_plan}{{5.1.4}{49}{FlightPlan-Interface\relax }{section*.40}{}}
2.319 +\@writefile{toc}{\contentsline {subsection}{\numberline {5.1.5}Compilerprototyp}{50}{subsection.5.1.5}}
2.320 +\@writefile{toc}{\contentsline {subsection}{\numberline {5.1.6}Evaluation von Flugplanmustern}{52}{subsection.5.1.6}}
2.321 +\newlabel{design:pattern_evaluation}{{5.1.6}{52}{Evaluation von Flugplanmustern\relax }{subsection.5.1.6}{}}
2.322 +\@writefile{toc}{\contentsline {subsubsection}{Beispiel}{52}{section*.41}}
2.323 +\newlabel{ATCCL Pattern-Beispiel}{{5.15}{52}{ATCCL Pattern-Beispiel\relax }{lstlisting.5.15}{}}
2.324 +\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.15}ATCCL Pattern-Beispiel}{52}{lstlisting.5.15}}
2.325 +\@writefile{toc}{\contentsline {subsection}{\numberline {5.1.7}Optimierung der Abflugzeit}{53}{subsection.5.1.7}}
2.326 +\newlabel{design:atot_calculation}{{5.1.7}{53}{Optimierung der Abflugzeit\relax }{subsection.5.1.7}{}}
2.327 +\@writefile{lof}{\contentsline {figure}{\numberline {\relax 5.3}{\ignorespaces ATCCL \texttt {Pattern}-Evaluation-Beispiel}}{54}{figure.5.3}}
2.328 +\newlabel{fig:pattern_evaluation1}{{\relax 5.3}{54}{ATCCL \texttt {Pattern}-Evaluation-Beispiel\relax }{figure.5.3}{}}
2.329 +\@writefile{toc}{\contentsline {subsubsection}{Algorithmus}{55}{section*.42}}
2.330 +\@writefile{loa}{\contentsline {algorithm}{\numberline {1}{\ignorespaces $resolve(separation, flowtime, flowtimes) \rightarrow flowtime$}}{55}{algorithm.1}}
2.331 +\@writefile{loa}{\contentsline {algorithm}{\numberline {2}{\ignorespaces $multresolve(flightplan, flightplans) \rightarrow atot$}}{56}{algorithm.2}}
2.332 +\@writefile{toc}{\contentsline {subsubsection}{Komplexit\IeC {\"a}t}{56}{section*.43}}
2.333 +\@writefile{toc}{\contentsline {subsubsection}{Alternative}{57}{section*.44}}
2.334 +\@writefile{toc}{\contentsline {subsubsection}{H\IeC {\"o}henstaffelung}{57}{section*.45}}
2.335 +\@writefile{toc}{\contentsline {section}{\numberline {5.2}DFLOW}{58}{section.5.2}}
2.336 +\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.1}DMAP-Interaktion}{58}{subsection.5.2.1}}
2.337 \citation{design_patterns}
2.338 -\@writefile{toc}{\contentsline {subsubsection}{Map}{61}{section*.46}}
2.339 -\@writefile{toc}{\contentsline {subsubsection}{Notify}{61}{section*.47}}
2.340 -\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.2}Verarbeitungslogik}{62}{subsection.5.2.2}}
2.341 +\@writefile{toc}{\contentsline {subsubsection}{Map}{59}{section*.46}}
2.342 +\@writefile{toc}{\contentsline {subsubsection}{Notify}{59}{section*.47}}
2.343 +\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.2}Verarbeitungslogik}{60}{subsection.5.2.2}}
2.344 \citation{flugleiter_dman}
2.345 -\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.3}Protokollierung}{64}{subsection.5.2.3}}
2.346 +\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.3}Protokollierung}{62}{subsection.5.2.3}}
2.347 \citation{iec_61508}
2.348 \citation{iec_61508}
2.349 \citation{iec_61508}
2.350 -\@writefile{toc}{\contentsline {chapter}{\numberline {6}Realisierung}{65}{chapter.6}}
2.351 +\@writefile{toc}{\contentsline {chapter}{\numberline {6}Realisierung}{63}{chapter.6}}
2.352 \@writefile{lof}{\addvspace {10\p@ }}
2.353 \@writefile{lot}{\addvspace {10\p@ }}
2.354 \@writefile{lol}{\addvspace {10\p@ }}
2.355 \@writefile{loa}{\addvspace {10\p@ }}
2.356 -\@writefile{toc}{\contentsline {section}{\numberline {6.1}Programmiersprache \& Hilfsbibliotheken}{65}{section.6.1}}
2.357 -\@writefile{toc}{\contentsline {subsection}{\numberline {6.1.1}Compiler}{65}{subsection.6.1.1}}
2.358 -\@writefile{toc}{\contentsline {subsection}{\numberline {6.1.2}Comsoft \texttt {stdbase}}{66}{subsection.6.1.2}}
2.359 -\@writefile{toc}{\contentsline {subsection}{\numberline {6.1.3}CppUnit}{66}{subsection.6.1.3}}
2.360 -\@writefile{lof}{\contentsline {figure}{\numberline {\relax 6.1}{\ignorespaces \texttt {StackVector}}}{67}{figure.6.1}}
2.361 -\newlabel{uml:stack_vector}{{\relax 6.1}{67}{\texttt {StackVector}\relax }{figure.6.1}{}}
2.362 -\@writefile{toc}{\contentsline {subsection}{\numberline {6.1.4}Code Coverage}{67}{subsection.6.1.4}}
2.363 -\@writefile{toc}{\contentsline {section}{\numberline {6.2}Entwicklungsumgebung}{67}{section.6.2}}
2.364 -\@writefile{toc}{\contentsline {subsection}{\numberline {6.2.1}IDE}{67}{subsection.6.2.1}}
2.365 -\@writefile{toc}{\contentsline {subsection}{\numberline {6.2.2}Versionsverwaltung}{68}{subsection.6.2.2}}
2.366 -\@writefile{toc}{\contentsline {subsection}{\numberline {6.2.3}Betriebssystem}{68}{subsection.6.2.3}}
2.367 -\@writefile{toc}{\contentsline {section}{\numberline {6.3}Dokumentation \& Entwurf}{68}{section.6.3}}
2.368 -\@writefile{toc}{\contentsline {section}{\numberline {6.4}ATCCL}{68}{section.6.4}}
2.369 -\@writefile{toc}{\contentsline {subsection}{\numberline {6.4.1}\texttt {flex}-Konfiguration}{68}{subsection.6.4.1}}
2.370 +\@writefile{toc}{\contentsline {section}{\numberline {6.1}Programmiersprache \& Hilfsbibliotheken}{63}{section.6.1}}
2.371 +\@writefile{toc}{\contentsline {subsection}{\numberline {6.1.1}Compiler}{63}{subsection.6.1.1}}
2.372 +\@writefile{toc}{\contentsline {subsection}{\numberline {6.1.2}Comsoft \texttt {stdbase}}{64}{subsection.6.1.2}}
2.373 +\@writefile{toc}{\contentsline {subsection}{\numberline {6.1.3}CppUnit}{64}{subsection.6.1.3}}
2.374 +\@writefile{lof}{\contentsline {figure}{\numberline {\relax 6.1}{\ignorespaces \texttt {StackVector}}}{65}{figure.6.1}}
2.375 +\newlabel{uml:stack_vector}{{\relax 6.1}{65}{\texttt {StackVector}\relax }{figure.6.1}{}}
2.376 +\@writefile{toc}{\contentsline {subsection}{\numberline {6.1.4}Code Coverage}{65}{subsection.6.1.4}}
2.377 +\@writefile{toc}{\contentsline {section}{\numberline {6.2}Entwicklungsumgebung}{65}{section.6.2}}
2.378 +\@writefile{toc}{\contentsline {subsection}{\numberline {6.2.1}IDE}{65}{subsection.6.2.1}}
2.379 +\@writefile{toc}{\contentsline {subsection}{\numberline {6.2.2}Versionsverwaltung}{66}{subsection.6.2.2}}
2.380 +\@writefile{toc}{\contentsline {subsection}{\numberline {6.2.3}Betriebssystem}{66}{subsection.6.2.3}}
2.381 +\@writefile{toc}{\contentsline {section}{\numberline {6.3}Dokumentation \& Entwurf}{66}{section.6.3}}
2.382 +\@writefile{toc}{\contentsline {section}{\numberline {6.4}ATCCL}{66}{section.6.4}}
2.383 +\@writefile{toc}{\contentsline {subsection}{\numberline {6.4.1}\texttt {flex}-Konfiguration}{66}{subsection.6.4.1}}
2.384 \citation{lex_paper}
2.385 \citation{lex_yacc_guide}
2.386 \citation{lex_paper}
2.387 \citation{lex_yacc_guide}
2.388 -\newlabel{flex_config1}{{6.1}{69}{ATCCL \texttt {flex}-Konfiguration: Zeichenklassen\relax }{lstlisting.6.1}{}}
2.389 -\@writefile{lol}{\contentsline {lstlisting}{\numberline {6.1}ATCCL \texttt {flex}-Konfiguration: Zeichenklassen}{69}{lstlisting.6.1}}
2.390 -\@writefile{lot}{\contentsline {table}{\numberline {\relax 6.1}{\ignorespaces \texttt {flex}-Metazeichen \emph {(Quelle: \cite {lex_paper}, \cite {lex_yacc_guide})}}}{69}{table.6.1}}
2.391 -\newlabel{flex_metazeichen}{{\relax 6.1}{69}{\texttt {flex}-Metazeichen \emph {(Quelle: \cite {lex_paper}, \cite {lex_yacc_guide})}\relax }{table.6.1}{}}
2.392 -\newlabel{flex_config2}{{6.2}{70}{ATCCL \texttt {flex}-Konfiguration: Flugplaneigenschaften\relax }{lstlisting.6.2}{}}
2.393 -\@writefile{lol}{\contentsline {lstlisting}{\numberline {6.2}ATCCL \texttt {flex}-Konfiguration: Flugplaneigenschaften}{70}{lstlisting.6.2}}
2.394 -\newlabel{flex_config3}{{6.3}{70}{ATCCL \texttt {flex}-Konfiguration: Separationstyp und Flugfläche\relax }{lstlisting.6.3}{}}
2.395 -\@writefile{lol}{\contentsline {lstlisting}{\numberline {6.3}ATCCL \texttt {flex}-Konfiguration: Separationstyp und Flugfl\IeC {\"a}che}{70}{lstlisting.6.3}}
2.396 -\newlabel{flex_config4}{{6.4}{70}{ATCCL \texttt {flex}-Konfiguration: Typ der Regeldefinition\relax }{lstlisting.6.4}{}}
2.397 -\@writefile{lol}{\contentsline {lstlisting}{\numberline {6.4}ATCCL \texttt {flex}-Konfiguration: Typ der Regeldefinition}{70}{lstlisting.6.4}}
2.398 -\newlabel{flex_config5}{{6.5}{70}{ATCCL \texttt {flex}-Konfiguration: Operatoren\relax }{lstlisting.6.5}{}}
2.399 -\@writefile{lol}{\contentsline {lstlisting}{\numberline {6.5}ATCCL \texttt {flex}-Konfiguration: Operatoren}{70}{lstlisting.6.5}}
2.400 -\newlabel{flex_config6}{{6.6}{71}{ATCCL \texttt {flex}-Konfiguration: \texttt {Constraint}-Token\relax }{lstlisting.6.6}{}}
2.401 -\@writefile{lol}{\contentsline {lstlisting}{\numberline {6.6}ATCCL \texttt {flex}-Konfiguration: \texttt {Constraint}-Token}{71}{lstlisting.6.6}}
2.402 -\newlabel{flex_config7}{{6.7}{71}{ATCCL \texttt {flex}-Konfiguration: Basisdatentypen\relax }{lstlisting.6.7}{}}
2.403 -\@writefile{lol}{\contentsline {lstlisting}{\numberline {6.7}ATCCL \texttt {flex}-Konfiguration: Basisdatentypen}{71}{lstlisting.6.7}}
2.404 +\newlabel{flex_config1}{{6.1}{67}{ATCCL \texttt {flex}-Konfiguration: Zeichenklassen\relax }{lstlisting.6.1}{}}
2.405 +\@writefile{lol}{\contentsline {lstlisting}{\numberline {6.1}ATCCL \texttt {flex}-Konfiguration: Zeichenklassen}{67}{lstlisting.6.1}}
2.406 +\@writefile{lot}{\contentsline {table}{\numberline {\relax 6.1}{\ignorespaces \texttt {flex}-Metazeichen \emph {(Quelle: \cite {lex_paper}, \cite {lex_yacc_guide})}}}{67}{table.6.1}}
2.407 +\newlabel{flex_metazeichen}{{\relax 6.1}{67}{\texttt {flex}-Metazeichen \emph {(Quelle: \cite {lex_paper}, \cite {lex_yacc_guide})}\relax }{table.6.1}{}}
2.408 +\newlabel{flex_config2}{{6.2}{68}{ATCCL \texttt {flex}-Konfiguration: Flugplaneigenschaften\relax }{lstlisting.6.2}{}}
2.409 +\@writefile{lol}{\contentsline {lstlisting}{\numberline {6.2}ATCCL \texttt {flex}-Konfiguration: Flugplaneigenschaften}{68}{lstlisting.6.2}}
2.410 +\newlabel{flex_config3}{{6.3}{68}{ATCCL \texttt {flex}-Konfiguration: Separationstyp und Flugfläche\relax }{lstlisting.6.3}{}}
2.411 +\@writefile{lol}{\contentsline {lstlisting}{\numberline {6.3}ATCCL \texttt {flex}-Konfiguration: Separationstyp und Flugfl\IeC {\"a}che}{68}{lstlisting.6.3}}
2.412 +\newlabel{flex_config4}{{6.4}{68}{ATCCL \texttt {flex}-Konfiguration: Typ der Regeldefinition\relax }{lstlisting.6.4}{}}
2.413 +\@writefile{lol}{\contentsline {lstlisting}{\numberline {6.4}ATCCL \texttt {flex}-Konfiguration: Typ der Regeldefinition}{68}{lstlisting.6.4}}
2.414 +\newlabel{flex_config5}{{6.5}{68}{ATCCL \texttt {flex}-Konfiguration: Operatoren\relax }{lstlisting.6.5}{}}
2.415 +\@writefile{lol}{\contentsline {lstlisting}{\numberline {6.5}ATCCL \texttt {flex}-Konfiguration: Operatoren}{68}{lstlisting.6.5}}
2.416 +\newlabel{flex_config6}{{6.6}{69}{ATCCL \texttt {flex}-Konfiguration: \texttt {Constraint}-Token\relax }{lstlisting.6.6}{}}
2.417 +\@writefile{lol}{\contentsline {lstlisting}{\numberline {6.6}ATCCL \texttt {flex}-Konfiguration: \texttt {Constraint}-Token}{69}{lstlisting.6.6}}
2.418 +\newlabel{flex_config7}{{6.7}{69}{ATCCL \texttt {flex}-Konfiguration: Basisdatentypen\relax }{lstlisting.6.7}{}}
2.419 +\@writefile{lol}{\contentsline {lstlisting}{\numberline {6.7}ATCCL \texttt {flex}-Konfiguration: Basisdatentypen}{69}{lstlisting.6.7}}
2.420 \citation{design_patterns}
2.421 -\newlabel{flex_config8}{{6.8}{72}{ATCCL \texttt {flex}-Konfiguration: IDs und Kommentare\relax }{lstlisting.6.8}{}}
2.422 -\@writefile{lol}{\contentsline {lstlisting}{\numberline {6.8}ATCCL \texttt {flex}-Konfiguration: IDs und Kommentare}{72}{lstlisting.6.8}}
2.423 -\newlabel{flex_config9}{{6.9}{72}{ATCCL \texttt {flex}-Konfiguration: Fehlerbehandlung\relax }{lstlisting.6.9}{}}
2.424 -\@writefile{lol}{\contentsline {lstlisting}{\numberline {6.9}ATCCL \texttt {flex}-Konfiguration: Fehlerbehandlung}{72}{lstlisting.6.9}}
2.425 -\@writefile{toc}{\contentsline {subsection}{\numberline {6.4.2}\texttt {bison}-Konfiguration}{72}{subsection.6.4.2}}
2.426 -\@writefile{toc}{\contentsline {subsection}{\numberline {6.4.3}Synthese}{72}{subsection.6.4.3}}
2.427 -\@writefile{toc}{\contentsline {section}{\numberline {6.5}DFLOW}{73}{section.6.5}}
2.428 -\@writefile{toc}{\contentsline {subsection}{\numberline {6.5.1}FDPS}{73}{subsection.6.5.1}}
2.429 -\@writefile{toc}{\contentsline {subsection}{\numberline {6.5.2}Node Manager}{74}{subsection.6.5.2}}
2.430 -\@writefile{toc}{\contentsline {subsection}{\numberline {6.5.3}AWP}{74}{subsection.6.5.3}}
2.431 -\newlabel{fig:dflow_displays}{{6.5.3}{74}{AWP\relax }{subsection.6.5.3}{}}
2.432 -\@writefile{lof}{\contentsline {figure}{\numberline {\relax 6.2}{\ignorespaces DFLOW Window \& Flow Aid Window}}{74}{figure.6.2}}
2.433 -\@writefile{toc}{\contentsline {subsection}{\numberline {6.5.4}CWP}{75}{subsection.6.5.4}}
2.434 +\newlabel{flex_config8}{{6.8}{70}{ATCCL \texttt {flex}-Konfiguration: IDs und Kommentare\relax }{lstlisting.6.8}{}}
2.435 +\@writefile{lol}{\contentsline {lstlisting}{\numberline {6.8}ATCCL \texttt {flex}-Konfiguration: IDs und Kommentare}{70}{lstlisting.6.8}}
2.436 +\newlabel{flex_config9}{{6.9}{70}{ATCCL \texttt {flex}-Konfiguration: Fehlerbehandlung\relax }{lstlisting.6.9}{}}
2.437 +\@writefile{lol}{\contentsline {lstlisting}{\numberline {6.9}ATCCL \texttt {flex}-Konfiguration: Fehlerbehandlung}{70}{lstlisting.6.9}}
2.438 +\@writefile{toc}{\contentsline {subsection}{\numberline {6.4.2}\texttt {bison}-Konfiguration}{70}{subsection.6.4.2}}
2.439 +\@writefile{toc}{\contentsline {subsection}{\numberline {6.4.3}Synthese}{70}{subsection.6.4.3}}
2.440 +\@writefile{toc}{\contentsline {section}{\numberline {6.5}DFLOW}{71}{section.6.5}}
2.441 +\@writefile{toc}{\contentsline {subsection}{\numberline {6.5.1}FDPS}{71}{subsection.6.5.1}}
2.442 +\@writefile{toc}{\contentsline {subsection}{\numberline {6.5.2}Node Manager}{72}{subsection.6.5.2}}
2.443 +\@writefile{toc}{\contentsline {subsection}{\numberline {6.5.3}AWP}{72}{subsection.6.5.3}}
2.444 +\newlabel{fig:dflow_displays}{{6.5.3}{72}{AWP\relax }{subsection.6.5.3}{}}
2.445 +\@writefile{lof}{\contentsline {figure}{\numberline {\relax 6.2}{\ignorespaces DFLOW Window \& Flow Aid Window}}{72}{figure.6.2}}
2.446 +\@writefile{toc}{\contentsline {subsection}{\numberline {6.5.4}CWP}{73}{subsection.6.5.4}}
2.447 \citation{code_gen}
2.448 -\@writefile{toc}{\contentsline {chapter}{\numberline {7}Verifikation}{77}{chapter.7}}
2.449 +\@writefile{toc}{\contentsline {chapter}{\numberline {7}Verifikation}{75}{chapter.7}}
2.450 \@writefile{lof}{\addvspace {10\p@ }}
2.451 \@writefile{lot}{\addvspace {10\p@ }}
2.452 \@writefile{lol}{\addvspace {10\p@ }}
2.453 \@writefile{loa}{\addvspace {10\p@ }}
2.454 -\@writefile{toc}{\contentsline {section}{\numberline {7.1}Werkzeugeinsatz}{77}{section.7.1}}
2.455 -\@writefile{lot}{\contentsline {table}{\numberline {\relax 7.1}{\ignorespaces Anteil an automatisch generiertem Code}}{77}{table.7.1}}
2.456 -\newlabel{auto_gen_loc}{{\relax 7.1}{77}{Anteil an automatisch generiertem Code\relax }{table.7.1}{}}
2.457 -\@writefile{toc}{\contentsline {section}{\numberline {7.2}Unit-Tests}{78}{section.7.2}}
2.458 -\@writefile{toc}{\contentsline {section}{\numberline {7.3}Testspezifikation}{78}{section.7.3}}
2.459 -\@writefile{toc}{\contentsline {section}{\numberline {7.4}Testdurchf\IeC {\"u}hrung}{79}{section.7.4}}
2.460 -\@writefile{toc}{\contentsline {section}{\numberline {7.5}Effizienz}{80}{section.7.5}}
2.461 -\newlabel{verification:efficiency}{{7.5}{80}{Effizienz\relax }{section.7.5}{}}
2.462 -\@writefile{toc}{\contentsline {section}{\numberline {7.6}Leistungsanalyse}{80}{section.7.6}}
2.463 -\@writefile{toc}{\contentsline {subsection}{\numberline {7.6.1}Analysewerkzeuge}{80}{subsection.7.6.1}}
2.464 -\@writefile{toc}{\contentsline {subsection}{\numberline {7.6.2}Datensatz}{81}{subsection.7.6.2}}
2.465 -\@writefile{toc}{\contentsline {subsection}{\numberline {7.6.3}Auswertung}{82}{subsection.7.6.3}}
2.466 -\@writefile{lof}{\contentsline {figure}{\numberline {\relax 7.1}{\ignorespaces Abflugzeitkonformit\IeC {\"a}t}}{82}{figure.7.1}}
2.467 -\newlabel{fig:atot_etot_atd}{{\relax 7.1}{82}{Abflugzeitkonformität\relax }{figure.7.1}{}}
2.468 -\@writefile{lof}{\contentsline {figure}{\numberline {\relax 7.2}{\ignorespaces Histogramm von Separationszeiten}}{83}{figure.7.2}}
2.469 -\newlabel{fig:1figs}{{\relax 7.2}{83}{Histogramm von Separationszeiten\relax }{figure.7.2}{}}
2.470 -\@writefile{toc}{\contentsline {chapter}{\numberline {8}Zusammenfassung}{85}{chapter.8}}
2.471 +\@writefile{toc}{\contentsline {section}{\numberline {7.1}Werkzeugeinsatz}{75}{section.7.1}}
2.472 +\@writefile{lot}{\contentsline {table}{\numberline {\relax 7.1}{\ignorespaces Anteil an automatisch generiertem Code}}{75}{table.7.1}}
2.473 +\newlabel{auto_gen_loc}{{\relax 7.1}{75}{Anteil an automatisch generiertem Code\relax }{table.7.1}{}}
2.474 +\@writefile{toc}{\contentsline {section}{\numberline {7.2}Unit-Tests}{76}{section.7.2}}
2.475 +\@writefile{toc}{\contentsline {section}{\numberline {7.3}Testspezifikation}{76}{section.7.3}}
2.476 +\@writefile{toc}{\contentsline {section}{\numberline {7.4}Testdurchf\IeC {\"u}hrung}{77}{section.7.4}}
2.477 +\@writefile{toc}{\contentsline {section}{\numberline {7.5}Effizienz}{78}{section.7.5}}
2.478 +\newlabel{verification:efficiency}{{7.5}{78}{Effizienz\relax }{section.7.5}{}}
2.479 +\@writefile{toc}{\contentsline {section}{\numberline {7.6}Leistungsanalyse}{78}{section.7.6}}
2.480 +\@writefile{toc}{\contentsline {subsection}{\numberline {7.6.1}Analysewerkzeuge}{78}{subsection.7.6.1}}
2.481 +\@writefile{toc}{\contentsline {subsection}{\numberline {7.6.2}Datensatz}{79}{subsection.7.6.2}}
2.482 +\@writefile{toc}{\contentsline {subsection}{\numberline {7.6.3}Auswertung}{80}{subsection.7.6.3}}
2.483 +\@writefile{lof}{\contentsline {figure}{\numberline {\relax 7.1}{\ignorespaces Abflugzeitkonformit\IeC {\"a}t}}{80}{figure.7.1}}
2.484 +\newlabel{fig:atot_etot_atd}{{\relax 7.1}{80}{Abflugzeitkonformität\relax }{figure.7.1}{}}
2.485 +\@writefile{lof}{\contentsline {figure}{\numberline {\relax 7.2}{\ignorespaces Histogramm von Separationszeiten}}{81}{figure.7.2}}
2.486 +\newlabel{fig:1figs}{{\relax 7.2}{81}{Histogramm von Separationszeiten\relax }{figure.7.2}{}}
2.487 +\@writefile{toc}{\contentsline {chapter}{\numberline {8}Zusammenfassung}{83}{chapter.8}}
2.488 \@writefile{lof}{\addvspace {10\p@ }}
2.489 \@writefile{lot}{\addvspace {10\p@ }}
2.490 \@writefile{lol}{\addvspace {10\p@ }}
2.491 \@writefile{loa}{\addvspace {10\p@ }}
2.492 -\@writefile{toc}{\contentsline {section}{\numberline {8.1}Fazit}{85}{section.8.1}}
2.493 -\@writefile{toc}{\contentsline {section}{\numberline {8.2}Ausblick}{85}{section.8.2}}
2.494 +\@writefile{toc}{\contentsline {section}{\numberline {8.1}Fazit}{83}{section.8.1}}
2.495 +\@writefile{toc}{\contentsline {section}{\numberline {8.2}Ausblick}{83}{section.8.2}}
2.496 \citation{moderne_flugsicherung}
2.497 \citation{compilers}
2.498 \citation{compilers}
2.499 @@ -317,25 +317,25 @@
2.500 \bibcite{icao_4444}{Org96}
2.501 \bibcite{flex_manual}{PEM07}
2.502 \bibcite{ebnf}{Wir77}
2.503 -\@writefile{toc}{\contentsline {chapter}{\numberline {A}Feinentwurf}{95}{appendix.A}}
2.504 +\@writefile{toc}{\contentsline {chapter}{\numberline {A}Feinentwurf}{93}{appendix.A}}
2.505 \@writefile{lof}{\addvspace {10\p@ }}
2.506 \@writefile{lot}{\addvspace {10\p@ }}
2.507 \@writefile{lol}{\addvspace {10\p@ }}
2.508 \@writefile{loa}{\addvspace {10\p@ }}
2.509 -\@writefile{toc}{\contentsline {section}{\numberline {A.1}ATCCL}{95}{section.A.1}}
2.510 -\@writefile{toc}{\contentsline {subsection}{\numberline {A.1.1}Factory}{95}{subsection.A.1.1}}
2.511 -\newlabel{uml:factories}{{A.1.1}{95}{Factory\relax }{subsection.A.1.1}{}}
2.512 -\@writefile{toc}{\contentsline {subsection}{\numberline {A.1.2}Term-Hierarchy}{95}{subsection.A.1.2}}
2.513 -\@writefile{toc}{\contentsline {subsection}{\numberline {A.1.3}Property (Auszug)}{96}{subsection.A.1.3}}
2.514 -\newlabel{uml:property}{{A.1.3}{96}{Property (Auszug)\relax }{subsection.A.1.3}{}}
2.515 -\@writefile{toc}{\contentsline {subsection}{\numberline {A.1.4}Virtual Machine}{96}{subsection.A.1.4}}
2.516 -\@writefile{toc}{\contentsline {subsection}{\numberline {A.1.5}Flight Plan Interface}{97}{subsection.A.1.5}}
2.517 -\newlabel{uml:flight_plan_interface}{{A.1.5}{97}{Flight Plan Interface\relax }{subsection.A.1.5}{}}
2.518 -\@writefile{toc}{\contentsline {chapter}{\numberline {B}\texttt {bison}-Konfiguration}{99}{appendix.B}}
2.519 +\@writefile{toc}{\contentsline {section}{\numberline {A.1}ATCCL}{93}{section.A.1}}
2.520 +\@writefile{toc}{\contentsline {subsection}{\numberline {A.1.1}Factory}{93}{subsection.A.1.1}}
2.521 +\newlabel{uml:factories}{{A.1.1}{93}{Factory\relax }{subsection.A.1.1}{}}
2.522 +\@writefile{toc}{\contentsline {subsection}{\numberline {A.1.2}Term-Hierarchy}{93}{subsection.A.1.2}}
2.523 +\@writefile{toc}{\contentsline {subsection}{\numberline {A.1.3}Property (Auszug)}{94}{subsection.A.1.3}}
2.524 +\newlabel{uml:property}{{A.1.3}{94}{Property (Auszug)\relax }{subsection.A.1.3}{}}
2.525 +\@writefile{toc}{\contentsline {subsection}{\numberline {A.1.4}Virtual Machine}{94}{subsection.A.1.4}}
2.526 +\@writefile{toc}{\contentsline {subsection}{\numberline {A.1.5}Flight Plan Interface}{95}{subsection.A.1.5}}
2.527 +\newlabel{uml:flight_plan_interface}{{A.1.5}{95}{Flight Plan Interface\relax }{subsection.A.1.5}{}}
2.528 +\@writefile{toc}{\contentsline {chapter}{\numberline {B}\texttt {bison}-Konfiguration}{97}{appendix.B}}
2.529 \@writefile{lof}{\addvspace {10\p@ }}
2.530 \@writefile{lot}{\addvspace {10\p@ }}
2.531 \@writefile{lol}{\addvspace {10\p@ }}
2.532 \@writefile{loa}{\addvspace {10\p@ }}
2.533 -\newlabel{bison_config}{{B.1}{99}{ATCCL bison-Konfiguration\relax }{lstlisting.B.1}{}}
2.534 -\@writefile{lol}{\contentsline {lstlisting}{\numberline {B.1}ATCCL bison-Konfiguration}{99}{lstlisting.B.1}}
2.535 +\newlabel{bison_config}{{B.1}{97}{ATCCL bison-Konfiguration\relax }{lstlisting.B.1}{}}
2.536 +\@writefile{lol}{\contentsline {lstlisting}{\numberline {B.1}ATCCL bison-Konfiguration}{97}{lstlisting.B.1}}
2.537 \global\@altsecnumformattrue
3.1 --- a/book/src/document.lof Wed Mar 30 15:52:38 2011 +0200
3.2 +++ b/book/src/document.lof Wed Mar 30 17:44:36 2011 +0200
3.3 @@ -1,24 +1,24 @@
3.4 \select@language {ngerman}
3.5 \addvspace {10\p@ }
3.6 -\contentsline {figure}{\numberline {\relax 1.1}{\ignorespaces Luftverkehrsrouten}}{7}{figure.1.1}
3.7 +\contentsline {figure}{\numberline {\relax 1.1}{\ignorespaces Luftverkehrsrouten}}{5}{figure.1.1}
3.8 \addvspace {10\p@ }
3.9 -\contentsline {figure}{\numberline {\relax 2.1}{\ignorespaces Ursachen f\IeC {\"u}r Abflugversp\IeC {\"a}tungen in Europa. \emph {Quelle: \cite {moderne_flugsicherung}}}}{10}{figure.2.1}
3.10 +\contentsline {figure}{\numberline {\relax 2.1}{\ignorespaces Ursachen f\IeC {\"u}r Abflugversp\IeC {\"a}tungen in Europa. \emph {Quelle: \cite {moderne_flugsicherung}}}}{8}{figure.2.1}
3.11 \addvspace {10\p@ }
3.12 -\contentsline {figure}{\numberline {\relax 3.1}{\ignorespaces GCAA Luftraumbeschr\IeC {\"a}nkungen}}{17}{figure.3.1}
3.13 -\contentsline {figure}{\numberline {\relax 3.2}{\ignorespaces Ein Compiler. \emph {Quelle: \cite {compilers}}}}{22}{figure.3.2}
3.14 -\contentsline {figure}{\numberline {\relax 3.3}{\ignorespaces Ein Interpreter. \emph {Quelle: \cite {compilers}}}}{22}{figure.3.3}
3.15 -\contentsline {figure}{\numberline {\relax 3.4}{\ignorespaces Ein hybrider Compiler. \emph {Quelle: \cite {compilers}}}}{23}{figure.3.4}
3.16 +\contentsline {figure}{\numberline {\relax 3.1}{\ignorespaces GCAA Luftraumbeschr\IeC {\"a}nkungen}}{15}{figure.3.1}
3.17 +\contentsline {figure}{\numberline {\relax 3.2}{\ignorespaces Ein Compiler. \emph {Quelle: \cite {compilers}}}}{20}{figure.3.2}
3.18 +\contentsline {figure}{\numberline {\relax 3.3}{\ignorespaces Ein Interpreter. \emph {Quelle: \cite {compilers}}}}{20}{figure.3.3}
3.19 +\contentsline {figure}{\numberline {\relax 3.4}{\ignorespaces Ein hybrider Compiler. \emph {Quelle: \cite {compilers}}}}{21}{figure.3.4}
3.20 \addvspace {10\p@ }
3.21 \addvspace {10\p@ }
3.22 -\contentsline {figure}{\numberline {\relax 5.1}{\ignorespaces Der \IeC {\"U}bersetzungsprozess}}{48}{figure.5.1}
3.23 -\contentsline {figure}{\numberline {\relax 5.2}{\ignorespaces ATCCL \texttt {VirtualMachine}}}{51}{figure.5.2}
3.24 -\contentsline {figure}{\numberline {\relax 5.3}{\ignorespaces ATCCL \texttt {Pattern}-Evaluation-Beispiel}}{56}{figure.5.3}
3.25 +\contentsline {figure}{\numberline {\relax 5.1}{\ignorespaces Der \IeC {\"U}bersetzungsprozess}}{46}{figure.5.1}
3.26 +\contentsline {figure}{\numberline {\relax 5.2}{\ignorespaces ATCCL \texttt {VirtualMachine}}}{49}{figure.5.2}
3.27 +\contentsline {figure}{\numberline {\relax 5.3}{\ignorespaces ATCCL \texttt {Pattern}-Evaluation-Beispiel}}{54}{figure.5.3}
3.28 \addvspace {10\p@ }
3.29 -\contentsline {figure}{\numberline {\relax 6.1}{\ignorespaces \texttt {StackVector}}}{67}{figure.6.1}
3.30 -\contentsline {figure}{\numberline {\relax 6.2}{\ignorespaces DFLOW Window \& Flow Aid Window}}{74}{figure.6.2}
3.31 +\contentsline {figure}{\numberline {\relax 6.1}{\ignorespaces \texttt {StackVector}}}{65}{figure.6.1}
3.32 +\contentsline {figure}{\numberline {\relax 6.2}{\ignorespaces DFLOW Window \& Flow Aid Window}}{72}{figure.6.2}
3.33 \addvspace {10\p@ }
3.34 -\contentsline {figure}{\numberline {\relax 7.1}{\ignorespaces Abflugzeitkonformit\IeC {\"a}t}}{82}{figure.7.1}
3.35 -\contentsline {figure}{\numberline {\relax 7.2}{\ignorespaces Histogramm von Separationszeiten}}{83}{figure.7.2}
3.36 +\contentsline {figure}{\numberline {\relax 7.1}{\ignorespaces Abflugzeitkonformit\IeC {\"a}t}}{80}{figure.7.1}
3.37 +\contentsline {figure}{\numberline {\relax 7.2}{\ignorespaces Histogramm von Separationszeiten}}{81}{figure.7.2}
3.38 \addvspace {10\p@ }
3.39 \addvspace {10\p@ }
3.40 \addvspace {10\p@ }
4.1 --- a/book/src/document.log Wed Mar 30 15:52:38 2011 +0200
4.2 +++ b/book/src/document.log Wed Mar 30 17:44:36 2011 +0200
4.3 @@ -1,4 +1,4 @@
4.4 -This is pdfTeX, Version 3.1415926-1.40.10 (TeX Live 2009/Debian) (format=pdflatex 2011.1.10) 30 MAR 2011 15:34
4.5 +This is pdfTeX, Version 3.1415926-1.40.10 (TeX Live 2009/Debian) (format=pdflatex 2011.1.10) 30 MAR 2011 17:43
4.6 entering extended mode
4.7 restricted \write18 enabled.
4.8 %&-line parsing enabled.
4.9 @@ -960,28 +960,11 @@
4.10 \openout4 = `document.out'.
4.11
4.12 \AtBeginShipoutBox=\box38
4.13 - (./title.tex
4.14 -LaTeX Font Info: Try loading font information for OT1+lmss on input line 24.
4.15 +LaTeX Font Info: Try loading font information for OT1+lmss on input line 68.
4.16
4.17 (/usr/share/texmf/tex/latex/lm/ot1lmss.fd
4.18 File: ot1lmss.fd 2009/10/30 v1.6 Font defs for Latin Modern
4.19 -)
4.20 -
4.21 -LaTeX Font Warning: Font shape `OT1/lmss/m/sc' in size <12> not available
4.22 -(Font) Font shape `OT1/lmr/m/sc' tried instead on input line 24.
4.23 -
4.24 -
4.25 -LaTeX Font Warning: Font shape `OT1/lmss/m/sc' in size <14.4> not available
4.26 -(Font) Font shape `OT1/lmr/m/sc' tried instead on input line 24.
4.27 -
4.28 -[1
4.29 -
4.30 -
4.31 -
4.32 -{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}]) [2
4.33 -
4.34 -
4.35 -] (./document.toc
4.36 +) (./document.toc
4.37 Class scrbook Info: You've told me to use the font selection of the element
4.38 (scrbook) `sectioning' that is an alias of element `disposition'
4.39 (scrbook) on input line 2.
4.40 @@ -1025,7 +1008,11 @@
4.41 Class scrbook Info: You've told me to use the font selection of the element
4.42 (scrbook) `sectioning' that is an alias of element `disposition'
4.43 (scrbook) on input line 34.
4.44 - [3]
4.45 + [1
4.46 +
4.47 +
4.48 +
4.49 +{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}]
4.50 Class scrbook Info: You've told me to use the font selection of the element
4.51 (scrbook) `sectioning' that is an alias of element `disposition'
4.52 (scrbook) on input line 52.
4.53 @@ -1034,10 +1021,10 @@
4.54 (scrbook) on input line 93.
4.55 LaTeX Font Info: Try loading font information for OT1+lmtt on input line 96.
4.56
4.57 -
4.58 -(/usr/share/texmf/tex/latex/lm/ot1lmtt.fd
4.59 + (/usr/share/texmf/tex/latex/lm/ot1lmtt.fd
4.60 File: ot1lmtt.fd 2009/10/30 v1.6 Font defs for Latin Modern
4.61 -) [4]
4.62 +)
4.63 +[2]
4.64 Class scrbook Info: You've told me to use the font selection of the element
4.65 (scrbook) `sectioning' that is an alias of element `disposition'
4.66 (scrbook) on input line 113.
4.67 @@ -1056,7 +1043,7 @@
4.68 \tf@toc=\write5
4.69 \openout5 = `document.toc'.
4.70
4.71 - (./preface.tex [5] [6
4.72 + (./preface.tex [3] [4
4.73
4.74
4.75 ]
4.76 @@ -1068,7 +1055,7 @@
4.77 (scrbook) Support for \float@addtolists may be removed from
4.78 (scrbook) `scrbook' soon .
4.79
4.80 -<images/title_page.pdf, id=465, 573.62346pt x 230.55713pt>
4.81 +<images/title_page.pdf, id=456, 573.62346pt x 230.55713pt>
4.82 File: images/title_page.pdf Graphic file (type pdf)
4.83
4.84 <use images/title_page.pdf>
4.85 @@ -1094,7 +1081,7 @@
4.86
4.87 Underfull \vbox (badness 6641) has occurred while \output is active []
4.88
4.89 - [7 <./images/title_page.pdf>] [8]
4.90 + [5 <./images/title_page.pdf>] [6]
4.91 Kapitel 2.
4.92 LaTeX Font Info: External font `lmex10' loaded for size
4.93 (Font) <10> on input line 14.
4.94 @@ -1102,7 +1089,7 @@
4.95 (Font) <7> on input line 14.
4.96 LaTeX Font Info: External font `lmex10' loaded for size
4.97 (Font) <5> on input line 14.
4.98 -<images/atfm_stats.pdf, id=735, 607.24577pt x 406.07225pt>
4.99 +<images/atfm_stats.pdf, id=725, 607.24577pt x 406.07225pt>
4.100 File: images/atfm_stats.pdf Graphic file (type pdf)
4.101
4.102 <use images/atfm_stats.pdf>
4.103 @@ -1126,7 +1113,7 @@
4.104
4.105 Underfull \vbox (badness 10000) has occurred while \output is active []
4.106
4.107 - [9
4.108 + [7
4.109
4.110
4.111 ]
4.112 @@ -1139,7 +1126,7 @@
4.113
4.114 []
4.115
4.116 -[10 <./images/atfm_stats.pdf>]
4.117 +[8 <./images/atfm_stats.pdf>]
4.118 Underfull \hbox (badness 10000) in paragraph at lines 31--36
4.119
4.120 []
4.121 @@ -1162,8 +1149,8 @@
4.122
4.123 Underfull \vbox (badness 10000) has occurred while \output is active []
4.124
4.125 - [11])
4.126 -(./research.tex [12]
4.127 + [9])
4.128 +(./research.tex [10]
4.129 Kapitel 3.
4.130
4.131 Underfull \hbox (badness 10000) in paragraph at lines 3--5
4.132 @@ -1187,7 +1174,7 @@
4.133 fek-ti-ve Ver-ga-be von Zust[]andigkeiten
4.134 []
4.135
4.136 -[13
4.137 +[11
4.138
4.139
4.140 ]
4.141 @@ -1207,7 +1194,7 @@
4.142
4.143 []
4.144
4.145 -[14]
4.146 +[12]
4.147 Underfull \hbox (badness 10000) in paragraph at lines 30--32
4.148
4.149 []
4.150 @@ -1220,7 +1207,7 @@
4.151
4.152 []
4.153
4.154 -[15]
4.155 +[13]
4.156 Underfull \hbox (badness 10000) in paragraph at lines 45--47
4.157
4.158 []
4.159 @@ -1235,7 +1222,7 @@
4.160
4.161 []
4.162
4.163 -[16] <images/near_east_problem.pdf, id=853, 156.31831pt x 94.32047pt>
4.164 +[14] <images/near_east_problem.pdf, id=844, 156.31831pt x 94.32047pt>
4.165 File: images/near_east_problem.pdf Graphic file (type pdf)
4.166
4.167 <use images/near_east_problem.pdf>
4.168 @@ -1243,7 +1230,7 @@
4.169
4.170 []
4.171
4.172 -[17 <./images/near_east_problem.pdf>]
4.173 +[15 <./images/near_east_problem.pdf>]
4.174 Overfull \hbox (0.4271pt too wide) in paragraph at lines 66--68
4.175 \OT1/lmr/m/n/12 Nicht al-le Rou-ten von ei-nem Weg-punkt m[]ussen []uber das re
4.176 -strik-ti-ve Ge-biet f[]uhren.
4.177 @@ -1254,17 +1241,27 @@
4.178
4.179 []
4.180
4.181 +[16]
4.182 +Underfull \hbox (badness 10000) in paragraph at lines 78--80
4.183 +
4.184 + []
4.185 +
4.186 +[17]
4.187 +Underfull \hbox (badness 10000) in paragraph at lines 98--101
4.188 +
4.189 + []
4.190 +
4.191 [18]
4.192 -Underfull \hbox (badness 10000) in paragraph at lines 78--80
4.193 +Underfull \hbox (badness 10000) in paragraph at lines 105--115
4.194
4.195 []
4.196
4.197 -[19]
4.198 -Underfull \hbox (badness 10000) in paragraph at lines 98--101
4.199 +
4.200 +Underfull \hbox (badness 10000) in paragraph at lines 105--115
4.201
4.202 []
4.203
4.204 -[20]
4.205 +
4.206 Underfull \hbox (badness 10000) in paragraph at lines 105--115
4.207
4.208 []
4.209 @@ -1274,21 +1271,11 @@
4.210
4.211 []
4.212
4.213 -
4.214 -Underfull \hbox (badness 10000) in paragraph at lines 105--115
4.215 -
4.216 - []
4.217 -
4.218 -
4.219 -Underfull \hbox (badness 10000) in paragraph at lines 105--115
4.220 -
4.221 - []
4.222 -
4.223 -[21] <images/compiler.pdf, id=917, 657.43376pt x 300.79259pt>
4.224 +[19] <images/compiler.pdf, id=908, 657.43376pt x 300.79259pt>
4.225 File: images/compiler.pdf Graphic file (type pdf)
4.226
4.227 <use images/compiler.pdf>
4.228 -<images/interpreter.pdf, id=922, 631.24142pt x 120.80156pt>
4.229 +<images/interpreter.pdf, id=913, 631.24142pt x 120.80156pt>
4.230 File: images/interpreter.pdf Graphic file (type pdf)
4.231
4.232 <use images/interpreter.pdf>
4.233 @@ -1301,10 +1288,10 @@
4.234
4.235 []
4.236
4.237 -<images/hybrid_compiler.pdf, id=927, 642.40889pt x 300.79259pt>
4.238 +<images/hybrid_compiler.pdf, id=918, 642.40889pt x 300.79259pt>
4.239 File: images/hybrid_compiler.pdf Graphic file (type pdf)
4.240
4.241 -<use images/hybrid_compiler.pdf> [22 <./images/compiler.pdf> <./images/interpre
4.242 +<use images/hybrid_compiler.pdf> [20 <./images/compiler.pdf> <./images/interpre
4.243 ter.pdf>]
4.244 Overfull \hbox (2.08266pt too wide) in paragraph at lines 142--145
4.245 []\OT1/lmr/m/n/12 uber-pr[]uft, um aus dem va-li-den Co-de die []Uberf[]uhrung
4.246 @@ -1322,7 +1309,7 @@
4.247 i-ler-ar-chi-tek-tur mit op-ti-mier-tem
4.248 []
4.249
4.250 -[23 <./images/hybrid_compiler.pdf>]
4.251 +[21 <./images/hybrid_compiler.pdf>]
4.252 Overfull \hbox (4.55493pt too wide) in paragraph at lines 157--158
4.253 \OT1/lmr/m/n/12 Die Er-stel-lung der le-xi-ka-li-schen Ana-ly-se ist der ers-te
4.254 Schritt in ei-ner Parser-Entwicklung.
4.255 @@ -1333,12 +1320,12 @@
4.256
4.257 []
4.258
4.259 -[24]
4.260 +[22]
4.261 Underfull \hbox (badness 10000) in paragraph at lines 175--177
4.262
4.263 []
4.264
4.265 -[25]
4.266 +[23]
4.267 Underfull \hbox (badness 10000) in paragraph at lines 182--184
4.268
4.269 []
4.270 @@ -1348,7 +1335,7 @@
4.271
4.272 []
4.273
4.274 -(./analysis.tex [26]
4.275 +(./analysis.tex [24]
4.276 Kapitel 4.
4.277
4.278 Underfull \hbox (badness 10000) in paragraph at lines 2--5
4.279 @@ -1360,7 +1347,7 @@
4.280
4.281 []
4.282
4.283 -[27
4.284 +[25
4.285
4.286
4.287 ]
4.288 @@ -1378,29 +1365,29 @@
4.289
4.290 []
4.291
4.292 -[28]
4.293 +[26]
4.294 Overfull \hbox (0.94504pt too wide) in paragraph at lines 31--32
4.295 \OT1/lmr/m/n/12 Kom-po-nen-te aus-ge-gan-gen. Wird das Zeit-li-mit wie-der-holt
4.296 in Fol-ge []uberschritten, k[]onnen
4.297 []
4.298
4.299 -[29] [30]
4.300 +[27] [28]
4.301 Underfull \hbox (badness 10000) in paragraph at lines 65--67
4.302
4.303 []
4.304
4.305 -[31]
4.306 +[29]
4.307 Underfull \hbox (badness 10000) in paragraph at lines 69--71
4.308
4.309 []
4.310
4.311 -[32]
4.312 +[30]
4.313 Overfull \hbox (2.5056pt too wide) in paragraph at lines 93--95
4.314 \OT1/lmr/m/n/12 Die Ab-flug-pla-nungs-kom-po-nen-te soll an-hand von Flug-pland
4.315 -a-ten die op-ti-ma-le Flug-
4.316 []
4.317
4.318 -[33] [34]
4.319 +[31] [32]
4.320 Overfull \hbox (23.27678pt too wide) in paragraph at lines 125--127
4.321 \OT1/lmr/m/n/12 zei-ten oder Start-bahn-be-le-gung bei der Be-stim-mung von Ab-
4.322 flug-zei-ten \OT1/lmr/m/it/12 nicht \OT1/lmr/m/n/12 ber[]ucksich-
4.323 @@ -1422,7 +1409,7 @@
4.324
4.325 []
4.326
4.327 -[35] [36]
4.328 +[33] [34]
4.329 Kapitel 5.
4.330
4.331 Underfull \hbox (badness 10000) in paragraph at lines 2--4
4.332 @@ -1445,7 +1432,7 @@
4.333
4.334 []
4.335
4.336 -[37
4.337 +[35
4.338
4.339
4.340 ] (/usr/share/texmf-texlive/tex/latex/listings/lstlang1.sty
4.341 @@ -1499,7 +1486,7 @@
4.342
4.343 []
4.344
4.345 -[38] (./atccl_letters_digits.txt)
4.346 +[36] (./atccl_letters_digits.txt)
4.347 Underfull \hbox (badness 10000) in paragraph at lines 33--35
4.348
4.349 []
4.350 @@ -1519,12 +1506,12 @@
4.351
4.352 []
4.353
4.354 -[39] (./atccl_ids.txt)
4.355 +[37] (./atccl_ids.txt)
4.356 Underfull \hbox (badness 10000) in paragraph at lines 48--49
4.357
4.358 []
4.359
4.360 -(./atccl_keywords.txt) [40]
4.361 +(./atccl_keywords.txt) [38]
4.362 Underfull \hbox (badness 10000) in paragraph at lines 55--58
4.363
4.364 []
4.365 @@ -1550,7 +1537,7 @@
4.366
4.367 []
4.368
4.369 -[41]
4.370 +[39]
4.371 Underfull \hbox (badness 10000) in paragraph at lines 72--73
4.372
4.373 []
4.374 @@ -1560,7 +1547,7 @@
4.375
4.376 []
4.377
4.378 -[42]
4.379 +[40]
4.380 Underfull \hbox (badness 10000) in paragraph at lines 78--80
4.381
4.382 []
4.383 @@ -1585,7 +1572,7 @@
4.384 [][][][][][][][][][][][][][][][][][][][][]
4.385 []
4.386
4.387 -[43])
4.388 +[41])
4.389 Underfull \hbox (badness 10000) in paragraph at lines 91--94
4.390
4.391 []
4.392 @@ -1605,17 +1592,17 @@
4.393
4.394 []
4.395
4.396 -(./atccl_flowpoints.txt [44])
4.397 +(./atccl_flowpoints.txt [42])
4.398 Underfull \hbox (badness 10000) in paragraph at lines 100--101
4.399
4.400 []
4.401
4.402 -(./atccl_config.txt) [45] (./atccl_example1.txt
4.403 +(./atccl_config.txt) [43] (./atccl_example1.txt
4.404 Overfull \hbox (31.3294pt too wide) in paragraph at lines 8--9
4.405 [][][][][][][][][][][][][][][][][][][][][][][][][][][][]
4.406 []
4.407
4.408 -) [46] (./atccl_example2.txt
4.409 +) [44] (./atccl_example2.txt
4.410 Overfull \hbox (24.27945pt too wide) in paragraph at lines 2--4
4.411 [][][][][][][][][][][][][][][][][][][][][][][][]
4.412 []
4.413 @@ -1640,7 +1627,7 @@
4.414
4.415 []
4.416
4.417 -[47] <images/compile_process.pdf, id=1250, 514.43358pt x 628.14606pt>
4.418 +[45] <images/compile_process.pdf, id=1241, 514.43358pt x 628.14606pt>
4.419 File: images/compile_process.pdf Graphic file (type pdf)
4.420
4.421 <use images/compile_process.pdf>
4.422 @@ -1653,7 +1640,7 @@
4.423
4.424 []
4.425
4.426 -[48 <./images/compile_process.pdf>]
4.427 +[46 <./images/compile_process.pdf>]
4.428 Underfull \hbox (badness 10000) in paragraph at lines 145--148
4.429
4.430 []
4.431 @@ -1679,8 +1666,8 @@
4.432
4.433 []
4.434
4.435 -[49] [50]
4.436 -<images/virtual_machine_basic.pdf, id=1331, 682.26616pt x 383.35626pt>
4.437 +[47] [48]
4.438 +<images/virtual_machine_basic.pdf, id=1321, 682.26616pt x 383.35626pt>
4.439 File: images/virtual_machine_basic.pdf Graphic file (type pdf)
4.440
4.441 <use images/virtual_machine_basic.pdf>
4.442 @@ -1703,7 +1690,7 @@
4.443
4.444 []
4.445
4.446 -[51 <./images/virtual_machine_basic.pdf>]
4.447 +[49 <./images/virtual_machine_basic.pdf>]
4.448 Underfull \hbox (badness 10000) in paragraph at lines 191--197
4.449
4.450 []
4.451 @@ -1728,7 +1715,7 @@
4.452
4.453 []
4.454
4.455 -[52] [53]
4.456 +[50] [51]
4.457 Underfull \hbox (badness 10000) in paragraph at lines 210--211
4.458
4.459 []
4.460 @@ -1743,7 +1730,7 @@
4.461
4.462 []
4.463
4.464 -[54]
4.465 +[52]
4.466 LaTeX Font Info: Try loading font information for OML+lmr on input line 220.
4.467
4.468 (/usr/share/texmf/tex/latex/lm/omllmr.fd
4.469 @@ -1752,7 +1739,7 @@
4.470 LaTeX Font Info: Font shape `OML/lmr/m/it' in size <12> not available
4.471 (Font) Font shape `OML/lmm/m/it' tried instead on input line 220.
4.472
4.473 -<images/pattern_evaluation.pdf, id=1421, 746.48698pt x 667.4024pt>
4.474 +<images/pattern_evaluation.pdf, id=1412, 746.48698pt x 667.4024pt>
4.475 File: images/pattern_evaluation.pdf Graphic file (type pdf)
4.476
4.477 <use images/pattern_evaluation.pdf>
4.478 @@ -1764,7 +1751,7 @@
4.479
4.480 []
4.481
4.482 -[55]
4.483 +[53]
4.484 Underfull \hbox (badness 10000) in paragraph at lines 290--293
4.485
4.486 []
4.487 @@ -1774,7 +1761,7 @@
4.488
4.489 []
4.490
4.491 -[56 <./images/pattern_evaluation.pdf>]
4.492 +[54 <./images/pattern_evaluation.pdf>]
4.493 Package hyperref Info: bookmark level for unknown algorithm defaults to 0 on in
4.494 put line 307.
4.495
4.496 @@ -1798,7 +1785,7 @@
4.497
4.498 []
4.499
4.500 -[57] [58]
4.501 +[55] [56]
4.502 Underfull \hbox (badness 10000) in paragraph at lines 353--355
4.503
4.504 []
4.505 @@ -1813,13 +1800,13 @@
4.506
4.507 []
4.508
4.509 -[59]
4.510 +[57]
4.511 Overfull \hbox (17.90411pt too wide) in paragraph at lines 364--366
4.512 []\OT1/lmr/bx/n/12 Benutzeranfrage zur op-ti-ma-len Abflugzeiten- und Flug-fl[]
4.513 achenbestimmung
4.514 []
4.515
4.516 -[60]
4.517 +[58]
4.518 Overfull \hbox (6.55212pt too wide) in paragraph at lines 378--379
4.519 \OT1/lmr/m/n/12 Ein Notify-Objekt rea-li-siert die Re-ak-tio-nen auf Da-ten-sat
4.520 z-trans-ak-tio-nen. M[]ogliche Trans-
4.521 @@ -1836,13 +1823,13 @@
4.522 ol-gen-de DMAP-Datens[]atze:
4.523 []
4.524
4.525 -[61]
4.526 +[59]
4.527 Overfull \hbox (9.27939pt too wide) in paragraph at lines 394--395
4.528 \OT1/lmr/m/n/12 Die oben ge-nann-ten Da-tens[]atze bie-ten al-le In-for-ma-tio-
4.529 nen, die ei-ne DFLOW-Verarbeitung
4.530 []
4.531
4.532 -[62]
4.533 +[60]
4.534 Overfull \hbox (0.27602pt too wide) in paragraph at lines 410--412
4.535 \OT1/lmr/m/n/12 Sobald al-le Flow Points be-kannt sind, wer-den al-le Ein-tr[]a
4.536 ge im DFLOW-Datensatz
4.537 @@ -1865,12 +1852,12 @@
4.538
4.539 []
4.540
4.541 -[63]
4.542 +[61]
4.543 Underfull \hbox (badness 10000) in paragraph at lines 428--430
4.544
4.545 []
4.546
4.547 -) (./impl.tex [64]
4.548 +) (./impl.tex [62]
4.549 Kapitel 6.
4.550
4.551 Underfull \hbox (badness 10000) in paragraph at lines 6--8
4.552 @@ -1882,7 +1869,7 @@
4.553
4.554 []
4.555
4.556 -[65
4.557 +[63
4.558
4.559
4.560 ]
4.561 @@ -1893,7 +1880,7 @@
4.562
4.563 []
4.564
4.565 -<images/stack_vector_uml.png, id=1644, 319.94531pt x 232.61906pt>
4.566 +<images/stack_vector_uml.png, id=1635, 319.94531pt x 232.61906pt>
4.567 File: images/stack_vector_uml.png Graphic file (type png)
4.568
4.569 <use images/stack_vector_uml.png>
4.570 @@ -1907,8 +1894,8 @@
4.571
4.572 Underfull \vbox (badness 2426) has occurred while \output is active []
4.573
4.574 - [66]
4.575 -[67 <./images/stack_vector_uml.png (PNG copy)>]
4.576 + [64]
4.577 +[65 <./images/stack_vector_uml.png (PNG copy)>]
4.578 Underfull \hbox (badness 10000) in paragraph at lines 60--62
4.579
4.580 []
4.581 @@ -1918,7 +1905,7 @@
4.582
4.583 []
4.584
4.585 -[68] (./flex_config1.txt)
4.586 +[66] (./flex_config1.txt)
4.587 LaTeX Font Info: Try loading font information for OMS+lmtt on input line 70.
4.588
4.589 LaTeX Font Info: No file OMSlmtt.fd. on input line 70.
4.590 @@ -1937,7 +1924,7 @@
4.591
4.592 []
4.593
4.594 -(./flex_config2.txt [69])
4.595 +(./flex_config2.txt [67])
4.596 Underfull \hbox (badness 10000) in paragraph at lines 89--90
4.597
4.598 []
4.599 @@ -1952,7 +1939,7 @@
4.600
4.601 []
4.602
4.603 -(./flex_config5.txt [70])
4.604 +(./flex_config5.txt [68])
4.605 Underfull \hbox (badness 10000) in paragraph at lines 95--96
4.606
4.607 []
4.608 @@ -1962,7 +1949,7 @@
4.609
4.610 []
4.611
4.612 -(./flex_config7.txt) [71] (./flex_config8.txt)
4.613 +(./flex_config7.txt) [69] (./flex_config8.txt)
4.614 Underfull \hbox (badness 10000) in paragraph at lines 101--102
4.615
4.616 []
4.617 @@ -1984,28 +1971,28 @@
4.618
4.619 []
4.620
4.621 -[72]
4.622 +[70]
4.623 Overfull \hbox (2.13803pt too wide) in paragraph at lines 120--121
4.624 []\OT1/lmr/m/n/12 Sog. \OT1/lmr/m/it/12 No-ti-fier\OT1/lmr/m/n/12 -Klassen im-p
4.625 le-men-tie-ren das Ob-ser-ver Pat-tern f[]ur be-stimm-te Da-tens[]atze
4.626 []
4.627
4.628 -[73]
4.629 +[71]
4.630 Overfull \hbox (1.75441pt too wide) in paragraph at lines 123--124
4.631 \OT1/lmr/m/n/12 Der No-de Ma-na-ger ist f[]ur die Kon-trol-le der Vi-ta-lit[]at
4.632 der ein-zel-nen PRISMA-Komponen-
4.633 []
4.634
4.635 -<images/dflow_displays_grey.png, id=1754, 1272.755pt x 574.145pt>
4.636 +<images/dflow_displays_grey.png, id=1744, 1272.755pt x 574.145pt>
4.637 File: images/dflow_displays_grey.png Graphic file (type png)
4.638
4.639 -<use images/dflow_displays_grey.png> [74 <./images/dflow_displays_grey.png>])
4.640 +<use images/dflow_displays_grey.png> [72 <./images/dflow_displays_grey.png>])
4.641 (./verification.tex
4.642 Underfull \hbox (badness 10000) in paragraph at lines 137--1
4.643
4.644 []
4.645
4.646 -[75] [76
4.647 +[73] [74
4.648
4.649
4.650 ]
4.651 @@ -2015,7 +2002,7 @@
4.652
4.653 []
4.654
4.655 -[77]
4.656 +[75]
4.657 Underfull \hbox (badness 10000) in paragraph at lines 26--29
4.658
4.659 []
4.660 @@ -2030,7 +2017,7 @@
4.661
4.662 []
4.663
4.664 -[78]
4.665 +[76]
4.666 Underfull \hbox (badness 1460) in paragraph at lines 42--42
4.667 [][][]\OT1/lmr/m/n/10 Testprozeduren, die mit je-der neu-en Ver-si-on wie-der-h
4.668 olt durch-gef[]uhrt wer-den, um al-le in
4.669 @@ -2044,7 +2031,7 @@
4.670
4.671 Underfull \vbox (badness 10000) has occurred while \output is active []
4.672
4.673 - [79]
4.674 + [77]
4.675 Overfull \hbox (1.89665pt too wide) in paragraph at lines 49--51
4.676 \OT1/lmr/m/n/12 Case-Szenarien mit Hil-fe von Unit-Tests ent-wi-ckelt und die-s
4.677 e auf ei-ner GCC-optimierten
4.678 @@ -2055,18 +2042,18 @@
4.679
4.680 []
4.681
4.682 -[80] (./atot_etot_atd.tex <atot_etot_atd.pdf, id=1802, 289.08pt x 201.75375pt>
4.683 +[78] (./atot_etot_atd.tex <atot_etot_atd.pdf, id=1792, 289.08pt x 201.75375pt>
4.684 File: atot_etot_atd.pdf Graphic file (type pdf)
4.685
4.686 <use atot_etot_atd.pdf>) (./laldo_hist.tex
4.687 -<laldo_hist.pdf, id=1803, 216.81pt x 151.56625pt>
4.688 +<laldo_hist.pdf, id=1793, 216.81pt x 151.56625pt>
4.689 File: laldo_hist.pdf Graphic file (type pdf)
4.690 <use laldo_hist.pdf>)
4.691 Overfull \hbox (31.8613pt too wide) in paragraph at lines 102--87
4.692 [][]
4.693 []
4.694
4.695 -(./labtar_hist.tex <labtar_hist.pdf, id=1804, 216.81pt x 151.56625pt>
4.696 +(./labtar_hist.tex <labtar_hist.pdf, id=1794, 216.81pt x 151.56625pt>
4.697 File: labtar_hist.pdf Graphic file (type pdf)
4.698
4.699 <use labtar_hist.pdf>)
4.700 @@ -2084,8 +2071,8 @@
4.701
4.702 []
4.703
4.704 -[81] [82 <./atot_etot_atd.pdf>]) (./conclusion.tex [83 <./laldo_hist.pdf> <./la
4.705 -btar_hist.pdf>] [84
4.706 +[79] [80 <./atot_etot_atd.pdf>]) (./conclusion.tex [81 <./laldo_hist.pdf> <./la
4.707 +btar_hist.pdf>] [82
4.708
4.709
4.710 ]
4.711 @@ -2105,14 +2092,14 @@
4.712
4.713 []
4.714
4.715 -[85] [86] (./document.lof)
4.716 +[83] [84] (./document.lof)
4.717 \tf@lof=\write6
4.718 \openout6 = `document.lof'.
4.719
4.720 - [87
4.721 -
4.722 -
4.723 -] [88
4.724 + [85
4.725 +
4.726 +
4.727 +] [86
4.728
4.729
4.730 ] (./document.lot)
4.731 @@ -2128,54 +2115,54 @@
4.732 (scrbook) `scrbook' soon, so it should not be used on input line
4.733 83.
4.734
4.735 -[89] [90
4.736 +[87] [88
4.737
4.738
4.739 ] (./document.lol)
4.740 \tf@lol=\write8
4.741 \openout8 = `document.lol'.
4.742
4.743 - (./document.bbl [91] [92
4.744 -
4.745 -
4.746 -] [93]) (./appendix.tex
4.747 -[94]
4.748 + (./document.bbl [89] [90
4.749 +
4.750 +
4.751 +] [91]) (./appendix.tex
4.752 +[92]
4.753 Anhang A.
4.754 -<images/uml_factories.png, id=1926, 444.15938pt x 191.21437pt>
4.755 +<images/uml_factories.png, id=1917, 444.15938pt x 191.21437pt>
4.756 File: images/uml_factories.png Graphic file (type png)
4.757
4.758 <use images/uml_factories.png>
4.759 -<images/uml_terms.png, id=1927, 740.0147pt x 444.15938pt>
4.760 +<images/uml_terms.png, id=1918, 740.0147pt x 444.15938pt>
4.761 File: images/uml_terms.png Graphic file (type png)
4.762
4.763 <use images/uml_terms.png>
4.764 -<images/uml_property.png, id=1928, 600.74437pt x 474.27188pt>
4.765 +<images/uml_property.png, id=1919, 600.74437pt x 474.27188pt>
4.766 File: images/uml_property.png Graphic file (type png)
4.767
4.768 <use images/uml_property.png>
4.769
4.770 LaTeX Warning: `h' float specifier changed to `ht'.
4.771
4.772 -<images/uml_vm.png, id=1929, 531.48563pt x 344.03531pt>
4.773 +<images/uml_vm.png, id=1920, 531.48563pt x 344.03531pt>
4.774 File: images/uml_vm.png Graphic file (type png)
4.775
4.776 <use images/uml_vm.png>
4.777
4.778 LaTeX Warning: `h' float specifier changed to `ht'.
4.779
4.780 -[95
4.781 +[93
4.782
4.783
4.784 <./images/uml_factories.png (PNG copy)> <./images/uml_terms.png (PNG copy)>] <
4.785 -images/uml_flight_plan.png, id=1934, 381.67593pt x 648.92438pt>
4.786 +images/uml_flight_plan.png, id=1925, 381.67593pt x 648.92438pt>
4.787 File: images/uml_flight_plan.png Graphic file (type png)
4.788
4.789 <use images/uml_flight_plan.png>
4.790
4.791 LaTeX Warning: `h' float specifier changed to `ht'.
4.792
4.793 -[96 <./images/uml_property.png (PNG copy)> <./images/uml_vm.png (PNG copy)>]
4.794 -[97 <./images/uml_flight_plan.png (PNG copy)>] [98
4.795 +[94 <./images/uml_property.png (PNG copy)> <./images/uml_vm.png (PNG copy)>]
4.796 +[95 <./images/uml_flight_plan.png (PNG copy)>] [96
4.797
4.798
4.799 ]
4.800 @@ -2188,6 +2175,12 @@
4.801
4.802 Underfull \vbox (badness 1112) has occurred while \output is active []
4.803
4.804 + [97]
4.805 +Underfull \vbox (badness 10000) has occurred while \output is active []
4.806 +
4.807 + [98]
4.808 +Underfull \vbox (badness 10000) has occurred while \output is active []
4.809 +
4.810 [99]
4.811 Underfull \vbox (badness 10000) has occurred while \output is active []
4.812
4.813 @@ -2203,45 +2196,38 @@
4.814 [103]
4.815 Underfull \vbox (badness 10000) has occurred while \output is active []
4.816
4.817 - [104]
4.818 -Underfull \vbox (badness 10000) has occurred while \output is active []
4.819 -
4.820 - [105]
4.821 -Underfull \vbox (badness 10000) has occurred while \output is active []
4.822 -
4.823 - [106]))
4.824 -[107] (./document.aux)
4.825 + [104]))
4.826 +[105] (./document.aux)
4.827
4.828 LaTeX Font Warning: Some font shapes were not available, defaults substituted.
4.829
4.830 )
4.831 Here is how much of TeX's memory you used:
4.832 - 13172 strings out of 495021
4.833 - 186649 string characters out of 1181035
4.834 - 329793 words of memory out of 3000000
4.835 - 15157 multiletter control sequences out of 15000+50000
4.836 - 67653 words of font info for 68 fonts, out of 3000000 for 9000
4.837 + 13159 strings out of 495021
4.838 + 186482 string characters out of 1181035
4.839 + 329792 words of memory out of 3000000
4.840 + 15149 multiletter control sequences out of 15000+50000
4.841 + 59409 words of font info for 65 fonts, out of 3000000 for 9000
4.842 28 hyphenation exceptions out of 8191
4.843 45i,11n,70p,877b,2174s stack positions out of 5000i,500n,10000p,200000b,50000s
4.844 {/usr/share/texmf/fonts/enc/dvips/lm/lm-rmtt.enc}{/usr/share/texmf/fonts/enc/
4.845 dvips/lm/lm-ts1.enc}{/usr/share/texmf/fonts/enc/dvips/lm/lm-mathit.enc}{/usr/sh
4.846 are/texmf/fonts/enc/dvips/lm/lm-mathsy.enc}{/usr/share/texmf/fonts/enc/dvips/lm
4.847 -/lm-rm.enc}{/usr/share/texmf/fonts/enc/dvips/lm/lm-rmsc.enc}</usr/share/texmf-t
4.848 -exlive/fonts/type1/public/amsfonts/cm/cmsy10.pfb></usr/share/texmf/fonts/type1/
4.849 -public/lm/lmbx12.pfb></usr/share/texmf/fonts/type1/public/lm/lmbxi10.pfb></usr/
4.850 -share/texmf/fonts/type1/public/lm/lmcsc10.pfb></usr/share/texmf/fonts/type1/pub
4.851 -lic/lm/lmmi12.pfb></usr/share/texmf/fonts/type1/public/lm/lmmi8.pfb></usr/share
4.852 -/texmf/fonts/type1/public/lm/lmr10.pfb></usr/share/texmf/fonts/type1/public/lm/
4.853 -lmr12.pfb></usr/share/texmf/fonts/type1/public/lm/lmr7.pfb></usr/share/texmf/fo
4.854 -nts/type1/public/lm/lmr8.pfb></usr/share/texmf/fonts/type1/public/lm/lmri12.pfb
4.855 -></usr/share/texmf/fonts/type1/public/lm/lmro12.pfb></usr/share/texmf/fonts/typ
4.856 -e1/public/lm/lmssbx10.pfb></usr/share/texmf/fonts/type1/public/lm/lmsy10.pfb></
4.857 -usr/share/texmf/fonts/type1/public/lm/lmtk10.pfb></usr/share/texmf/fonts/type1/
4.858 -public/lm/lmtt12.pfb></usr/share/texmf/fonts/type1/public/lm/lmtti10.pfb></usr/
4.859 -share/texmf/fonts/type1/public/lm/lmtto10.pfb>
4.860 -Output written on document.pdf (107 pages, 1867188 bytes).
4.861 +/lm-rm.enc}</usr/share/texmf-texlive/fonts/type1/public/amsfonts/cm/cmsy10.pfb>
4.862 +</usr/share/texmf/fonts/type1/public/lm/lmbx12.pfb></usr/share/texmf/fonts/type
4.863 +1/public/lm/lmbxi10.pfb></usr/share/texmf/fonts/type1/public/lm/lmmi12.pfb></us
4.864 +r/share/texmf/fonts/type1/public/lm/lmmi8.pfb></usr/share/texmf/fonts/type1/pub
4.865 +lic/lm/lmr10.pfb></usr/share/texmf/fonts/type1/public/lm/lmr12.pfb></usr/share/
4.866 +texmf/fonts/type1/public/lm/lmr7.pfb></usr/share/texmf/fonts/type1/public/lm/lm
4.867 +r8.pfb></usr/share/texmf/fonts/type1/public/lm/lmri12.pfb></usr/share/texmf/fon
4.868 +ts/type1/public/lm/lmro12.pfb></usr/share/texmf/fonts/type1/public/lm/lmssbx10.
4.869 +pfb></usr/share/texmf/fonts/type1/public/lm/lmsy10.pfb></usr/share/texmf/fonts/
4.870 +type1/public/lm/lmtk10.pfb></usr/share/texmf/fonts/type1/public/lm/lmtt12.pfb><
4.871 +/usr/share/texmf/fonts/type1/public/lm/lmtti10.pfb></usr/share/texmf/fonts/type
4.872 +1/public/lm/lmtto10.pfb>
4.873 +Output written on document.pdf (105 pages, 1840121 bytes).
4.874 PDF statistics:
4.875 - 2505 PDF objects out of 2984 (max. 8388607)
4.876 - 811 named destinations out of 1000 (max. 500000)
4.877 + 2491 PDF objects out of 2984 (max. 8388607)
4.878 + 809 named destinations out of 1000 (max. 500000)
4.879 784 words of extra memory for PDF output out of 10000 (max. 10000000)
4.880
5.1 --- a/book/src/document.lol Wed Mar 30 15:52:38 2011 +0200
5.2 +++ b/book/src/document.lol Wed Mar 30 17:44:36 2011 +0200
5.3 @@ -3,33 +3,33 @@
5.4 \addvspace {10\p@ }
5.5 \addvspace {10\p@ }
5.6 \addvspace {10\p@ }
5.7 -\contentsline {lstlisting}{\numberline {5.1}EBNF Notation}{38}{lstlisting.5.1}
5.8 -\contentsline {lstlisting}{\numberline {5.2}ATCCL EBNF Buchstaben und Zeichen}{39}{lstlisting.5.2}
5.9 -\contentsline {lstlisting}{\numberline {5.3}ATCCL EBNF Kommentare}{39}{lstlisting.5.3}
5.10 -\contentsline {lstlisting}{\numberline {5.4}ATCCL EBNF Bezeichner}{40}{lstlisting.5.4}
5.11 -\contentsline {lstlisting}{\numberline {5.5}ATCCL EBNF Schluesselwoerter}{40}{lstlisting.5.5}
5.12 -\contentsline {lstlisting}{\numberline {5.6}ATCCL EBNF Datentypen}{41}{lstlisting.5.6}
5.13 -\contentsline {lstlisting}{\numberline {5.7}ATCCL EBNF Flugplaneigenschaften}{42}{lstlisting.5.7}
5.14 -\contentsline {lstlisting}{\numberline {5.8}ATCCL EBNF Operatoren}{43}{lstlisting.5.8}
5.15 -\contentsline {lstlisting}{\numberline {5.9}ATCCL EBNF Flugplanmuster}{43}{lstlisting.5.9}
5.16 -\contentsline {lstlisting}{\numberline {5.10}ATCCL EBNF Separationsregeln}{44}{lstlisting.5.10}
5.17 -\contentsline {lstlisting}{\numberline {5.11}ATCCL EBNF Flow Point}{45}{lstlisting.5.11}
5.18 -\contentsline {lstlisting}{\numberline {5.12}ATCCL EBNF Konfiguration}{45}{lstlisting.5.12}
5.19 -\contentsline {lstlisting}{\numberline {5.13}ATCCL Einfaches Beispiel}{46}{lstlisting.5.13}
5.20 -\contentsline {lstlisting}{\numberline {5.14}ATCCL Komplexes Beispiel}{47}{lstlisting.5.14}
5.21 -\contentsline {lstlisting}{\numberline {5.15}ATCCL Pattern-Beispiel}{54}{lstlisting.5.15}
5.22 +\contentsline {lstlisting}{\numberline {5.1}EBNF Notation}{36}{lstlisting.5.1}
5.23 +\contentsline {lstlisting}{\numberline {5.2}ATCCL EBNF Buchstaben und Zeichen}{37}{lstlisting.5.2}
5.24 +\contentsline {lstlisting}{\numberline {5.3}ATCCL EBNF Kommentare}{37}{lstlisting.5.3}
5.25 +\contentsline {lstlisting}{\numberline {5.4}ATCCL EBNF Bezeichner}{38}{lstlisting.5.4}
5.26 +\contentsline {lstlisting}{\numberline {5.5}ATCCL EBNF Schluesselwoerter}{38}{lstlisting.5.5}
5.27 +\contentsline {lstlisting}{\numberline {5.6}ATCCL EBNF Datentypen}{39}{lstlisting.5.6}
5.28 +\contentsline {lstlisting}{\numberline {5.7}ATCCL EBNF Flugplaneigenschaften}{40}{lstlisting.5.7}
5.29 +\contentsline {lstlisting}{\numberline {5.8}ATCCL EBNF Operatoren}{41}{lstlisting.5.8}
5.30 +\contentsline {lstlisting}{\numberline {5.9}ATCCL EBNF Flugplanmuster}{41}{lstlisting.5.9}
5.31 +\contentsline {lstlisting}{\numberline {5.10}ATCCL EBNF Separationsregeln}{42}{lstlisting.5.10}
5.32 +\contentsline {lstlisting}{\numberline {5.11}ATCCL EBNF Flow Point}{43}{lstlisting.5.11}
5.33 +\contentsline {lstlisting}{\numberline {5.12}ATCCL EBNF Konfiguration}{43}{lstlisting.5.12}
5.34 +\contentsline {lstlisting}{\numberline {5.13}ATCCL Einfaches Beispiel}{44}{lstlisting.5.13}
5.35 +\contentsline {lstlisting}{\numberline {5.14}ATCCL Komplexes Beispiel}{45}{lstlisting.5.14}
5.36 +\contentsline {lstlisting}{\numberline {5.15}ATCCL Pattern-Beispiel}{52}{lstlisting.5.15}
5.37 \addvspace {10\p@ }
5.38 -\contentsline {lstlisting}{\numberline {6.1}ATCCL \texttt {flex}-Konfiguration: Zeichenklassen}{69}{lstlisting.6.1}
5.39 -\contentsline {lstlisting}{\numberline {6.2}ATCCL \texttt {flex}-Konfiguration: Flugplaneigenschaften}{70}{lstlisting.6.2}
5.40 -\contentsline {lstlisting}{\numberline {6.3}ATCCL \texttt {flex}-Konfiguration: Separationstyp und Flugfl\IeC {\"a}che}{70}{lstlisting.6.3}
5.41 -\contentsline {lstlisting}{\numberline {6.4}ATCCL \texttt {flex}-Konfiguration: Typ der Regeldefinition}{70}{lstlisting.6.4}
5.42 -\contentsline {lstlisting}{\numberline {6.5}ATCCL \texttt {flex}-Konfiguration: Operatoren}{70}{lstlisting.6.5}
5.43 -\contentsline {lstlisting}{\numberline {6.6}ATCCL \texttt {flex}-Konfiguration: \texttt {Constraint}-Token}{71}{lstlisting.6.6}
5.44 -\contentsline {lstlisting}{\numberline {6.7}ATCCL \texttt {flex}-Konfiguration: Basisdatentypen}{71}{lstlisting.6.7}
5.45 -\contentsline {lstlisting}{\numberline {6.8}ATCCL \texttt {flex}-Konfiguration: IDs und Kommentare}{72}{lstlisting.6.8}
5.46 -\contentsline {lstlisting}{\numberline {6.9}ATCCL \texttt {flex}-Konfiguration: Fehlerbehandlung}{72}{lstlisting.6.9}
5.47 +\contentsline {lstlisting}{\numberline {6.1}ATCCL \texttt {flex}-Konfiguration: Zeichenklassen}{67}{lstlisting.6.1}
5.48 +\contentsline {lstlisting}{\numberline {6.2}ATCCL \texttt {flex}-Konfiguration: Flugplaneigenschaften}{68}{lstlisting.6.2}
5.49 +\contentsline {lstlisting}{\numberline {6.3}ATCCL \texttt {flex}-Konfiguration: Separationstyp und Flugfl\IeC {\"a}che}{68}{lstlisting.6.3}
5.50 +\contentsline {lstlisting}{\numberline {6.4}ATCCL \texttt {flex}-Konfiguration: Typ der Regeldefinition}{68}{lstlisting.6.4}
5.51 +\contentsline {lstlisting}{\numberline {6.5}ATCCL \texttt {flex}-Konfiguration: Operatoren}{68}{lstlisting.6.5}
5.52 +\contentsline {lstlisting}{\numberline {6.6}ATCCL \texttt {flex}-Konfiguration: \texttt {Constraint}-Token}{69}{lstlisting.6.6}
5.53 +\contentsline {lstlisting}{\numberline {6.7}ATCCL \texttt {flex}-Konfiguration: Basisdatentypen}{69}{lstlisting.6.7}
5.54 +\contentsline {lstlisting}{\numberline {6.8}ATCCL \texttt {flex}-Konfiguration: IDs und Kommentare}{70}{lstlisting.6.8}
5.55 +\contentsline {lstlisting}{\numberline {6.9}ATCCL \texttt {flex}-Konfiguration: Fehlerbehandlung}{70}{lstlisting.6.9}
5.56 \addvspace {10\p@ }
5.57 \addvspace {10\p@ }
5.58 \addvspace {10\p@ }
5.59 \addvspace {10\p@ }
5.60 -\contentsline {lstlisting}{\numberline {B.1}ATCCL bison-Konfiguration}{99}{lstlisting.B.1}
5.61 +\contentsline {lstlisting}{\numberline {B.1}ATCCL bison-Konfiguration}{97}{lstlisting.B.1}
6.1 --- a/book/src/document.lot Wed Mar 30 15:52:38 2011 +0200
6.2 +++ b/book/src/document.lot Wed Mar 30 17:44:36 2011 +0200
6.3 @@ -5,9 +5,9 @@
6.4 \addvspace {10\p@ }
6.5 \addvspace {10\p@ }
6.6 \addvspace {10\p@ }
6.7 -\contentsline {table}{\numberline {\relax 6.1}{\ignorespaces \texttt {flex}-Metazeichen \emph {(Quelle: \cite {lex_paper}, \cite {lex_yacc_guide})}}}{69}{table.6.1}
6.8 +\contentsline {table}{\numberline {\relax 6.1}{\ignorespaces \texttt {flex}-Metazeichen \emph {(Quelle: \cite {lex_paper}, \cite {lex_yacc_guide})}}}{67}{table.6.1}
6.9 \addvspace {10\p@ }
6.10 -\contentsline {table}{\numberline {\relax 7.1}{\ignorespaces Anteil an automatisch generiertem Code}}{77}{table.7.1}
6.11 +\contentsline {table}{\numberline {\relax 7.1}{\ignorespaces Anteil an automatisch generiertem Code}}{75}{table.7.1}
6.12 \addvspace {10\p@ }
6.13 \addvspace {10\p@ }
6.14 \addvspace {10\p@ }
7.1 Binary file book/src/document.pdf has changed
8.1 --- a/book/src/document.tex Wed Mar 30 15:52:38 2011 +0200
8.2 +++ b/book/src/document.tex Wed Mar 30 17:44:36 2011 +0200
8.3 @@ -63,7 +63,7 @@
8.4 \nocite{*}
8.5 %\maketitle
8.6 %\newgeometry{left=3cm,right=3cm,bottom=1cm}
8.7 -\input{title}
8.8 +%\input{title}
8.9 %\restoregeometry
8.10 \tableofcontents
8.11 %\pagenumbering{roman}
9.1 --- a/book/src/document.toc Wed Mar 30 15:52:38 2011 +0200
9.2 +++ b/book/src/document.toc Wed Mar 30 17:44:36 2011 +0200
9.3 @@ -1,133 +1,133 @@
9.4 \select@language {ngerman}
9.5 -\contentsline {chapter}{\numberline {1}Vorwort}{7}{chapter.1}
9.6 -\contentsline {section}{\numberline {1.1}Danksagungen}{8}{section.1.1}
9.7 -\contentsline {chapter}{\numberline {2}Einleitung}{9}{chapter.2}
9.8 -\contentsline {section}{\numberline {2.1}Zielsetzung}{10}{section.2.1}
9.9 -\contentsline {section}{\numberline {2.2}Aufbau der Arbeit}{11}{section.2.2}
9.10 -\contentsline {section}{\numberline {2.3}Comsoft GmbH}{12}{section.2.3}
9.11 -\contentsline {chapter}{\numberline {3}Grundlagen}{13}{chapter.3}
9.12 -\contentsline {section}{\numberline {3.1}Flugsicherung}{13}{section.3.1}
9.13 -\contentsline {subsection}{\numberline {3.1.1}Luftraumorganisation}{13}{subsection.3.1.1}
9.14 -\contentsline {subsubsection}{Fluginformationsgebiet}{13}{section*.2}
9.15 -\contentsline {subsubsection}{Routensystem}{14}{section*.3}
9.16 -\contentsline {subsubsection}{Flugfl\IeC {\"a}chensystem}{14}{section*.4}
9.17 -\contentsline {subsection}{\numberline {3.1.2}Staffelungsverfahren}{14}{subsection.3.1.2}
9.18 -\contentsline {subsubsection}{L\IeC {\"a}ngsstaffelung}{15}{section*.5}
9.19 -\contentsline {subsubsection}{H\IeC {\"o}henstaffelung}{15}{section*.6}
9.20 -\contentsline {subsubsection}{Slot}{16}{section*.7}
9.21 -\contentsline {subsection}{\numberline {3.1.3}GCAA}{16}{subsection.3.1.3}
9.22 -\contentsline {subsubsection}{Beschr\IeC {\"a}nkungen auf Verkehrsflussdichten}{17}{section*.8}
9.23 -\contentsline {subsubsection}{Manuelle Abflugplanung}{18}{section*.9}
9.24 -\contentsline {section}{\numberline {3.2}PRISMA-Architektur}{19}{section.3.2}
9.25 -\contentsline {subsection}{\numberline {3.2.1}DMAP}{20}{subsection.3.2.1}
9.26 -\contentsline {section}{\numberline {3.3}Compilerbau}{21}{section.3.3}
9.27 -\contentsline {subsection}{\numberline {3.3.1}Compilerarchitekturen}{22}{subsection.3.3.1}
9.28 -\contentsline {subsection}{\numberline {3.3.2}Werkzeugunterst\IeC {\"u}tzung}{23}{subsection.3.3.2}
9.29 -\contentsline {subsubsection}{LLVM}{24}{section*.10}
9.30 -\contentsline {subsubsection}{\texttt {lex} und \texttt {flex}}{24}{section*.11}
9.31 -\contentsline {subsubsection}{\texttt {yacc} und \texttt {bison}}{24}{section*.12}
9.32 -\contentsline {section}{\numberline {3.4}Sicherheitsfaktoren}{24}{section.3.4}
9.33 -\contentsline {section}{\numberline {3.5}Produktvergleich}{25}{section.3.5}
9.34 -\contentsline {subsection}{\numberline {3.5.1}CFMU}{25}{subsection.3.5.1}
9.35 -\contentsline {subsection}{\numberline {3.5.2}PATS Departure Manager}{25}{subsection.3.5.2}
9.36 -\contentsline {subsection}{\numberline {3.5.3}Departure Manager Frankfurt}{26}{subsection.3.5.3}
9.37 -\contentsline {chapter}{\numberline {4}Anforderungsanalyse}{27}{chapter.4}
9.38 -\contentsline {section}{\numberline {4.1}Modellierung der Luftraumbeschr\IeC {\"a}nkungen}{27}{section.4.1}
9.39 -\contentsline {subsection}{\numberline {4.1.1}Benutzerqualifikation}{28}{subsection.4.1.1}
9.40 -\contentsline {subsection}{\numberline {4.1.2}Sicherheitsfaktoren}{28}{subsection.4.1.2}
9.41 -\contentsline {subsubsection}{Statusmeldungen}{29}{section*.13}
9.42 -\contentsline {subsubsection}{Redundanz}{29}{section*.14}
9.43 -\contentsline {subsection}{\numberline {4.1.3}Flugplandaten}{30}{subsection.4.1.3}
9.44 -\contentsline {subsubsection}{Aerodrome}{30}{section*.15}
9.45 -\contentsline {subsubsection}{Runway}{31}{section*.16}
9.46 -\contentsline {subsubsection}{Aircraft Type}{31}{section*.17}
9.47 -\contentsline {subsubsection}{Flight Type}{31}{section*.18}
9.48 -\contentsline {subsubsection}{True Airspeed}{31}{section*.19}
9.49 -\contentsline {subsection}{\numberline {4.1.4}Flussdichtenregelungen}{31}{subsection.4.1.4}
9.50 -\contentsline {section}{\numberline {4.2}Abflugplanungskomponente}{32}{section.4.2}
9.51 -\contentsline {section}{\numberline {4.3}Musskriterien}{33}{section.4.3}
9.52 -\contentsline {section}{\numberline {4.4}Sollkriterien}{34}{section.4.4}
9.53 -\contentsline {section}{\numberline {4.5}Abgrenzungskriterien}{35}{section.4.5}
9.54 -\contentsline {section}{\numberline {4.6}Dokumentation}{35}{section.4.6}
9.55 -\contentsline {chapter}{\numberline {5}Entwurf}{37}{chapter.5}
9.56 -\contentsline {section}{\numberline {5.1}ATCCL}{37}{section.5.1}
9.57 -\contentsline {subsection}{\numberline {5.1.1}Syntax}{38}{subsection.5.1.1}
9.58 -\contentsline {subsubsection}{Notation}{38}{section*.20}
9.59 -\contentsline {subsubsection}{Buchstaben und Ziffern}{39}{section*.21}
9.60 -\contentsline {subsubsection}{Kommentare}{39}{section*.22}
9.61 -\contentsline {subsubsection}{Terminatoren}{39}{section*.23}
9.62 -\contentsline {subsubsection}{Bezeichner}{40}{section*.24}
9.63 -\contentsline {subsubsection}{Schl\IeC {\"u}sselw\IeC {\"o}rter}{40}{section*.25}
9.64 -\contentsline {subsubsection}{Datentypen und Konstanten}{41}{section*.26}
9.65 -\contentsline {subsubsection}{Flugplaneigenschaften}{42}{section*.27}
9.66 -\contentsline {subsubsection}{Operatoren}{43}{section*.28}
9.67 -\contentsline {subsubsection}{Regeldefinitionen}{43}{section*.29}
9.68 -\contentsline {subsubsection}{Programm}{45}{section*.30}
9.69 -\contentsline {subsection}{\numberline {5.1.2}Beispiele}{46}{subsection.5.1.2}
9.70 -\contentsline {subsubsection}{Bsp. 1: Zielstellung}{46}{section*.31}
9.71 -\contentsline {subsubsection}{Bsp. 1: Code}{46}{section*.32}
9.72 -\contentsline {subsubsection}{Bsp. 1: Bemerkungen}{46}{section*.33}
9.73 -\contentsline {subsubsection}{Bsp. 2: Zielstellung}{47}{section*.34}
9.74 -\contentsline {subsubsection}{Bsp. 2: Code}{47}{section*.35}
9.75 -\contentsline {subsubsection}{Bsp. 2: Bemerkungen}{47}{section*.36}
9.76 -\contentsline {subsection}{\numberline {5.1.3}Compiler}{48}{subsection.5.1.3}
9.77 -\contentsline {subsubsection}{Scanner}{49}{section*.37}
9.78 -\contentsline {subsubsection}{Parser}{49}{section*.38}
9.79 -\contentsline {subsubsection}{Synthese}{49}{section*.39}
9.80 -\contentsline {subsection}{\numberline {5.1.4}Virtuelle Maschine}{50}{subsection.5.1.4}
9.81 -\contentsline {subsubsection}{FlightPlan-Interface}{51}{section*.40}
9.82 -\contentsline {subsection}{\numberline {5.1.5}Compilerprototyp}{52}{subsection.5.1.5}
9.83 -\contentsline {subsection}{\numberline {5.1.6}Evaluation von Flugplanmustern}{54}{subsection.5.1.6}
9.84 -\contentsline {subsubsection}{Beispiel}{54}{section*.41}
9.85 -\contentsline {subsection}{\numberline {5.1.7}Optimierung der Abflugzeit}{55}{subsection.5.1.7}
9.86 -\contentsline {subsubsection}{Algorithmus}{57}{section*.42}
9.87 -\contentsline {subsubsection}{Komplexit\IeC {\"a}t}{58}{section*.43}
9.88 -\contentsline {subsubsection}{Alternative}{59}{section*.44}
9.89 -\contentsline {subsubsection}{H\IeC {\"o}henstaffelung}{59}{section*.45}
9.90 -\contentsline {section}{\numberline {5.2}DFLOW}{60}{section.5.2}
9.91 -\contentsline {subsection}{\numberline {5.2.1}DMAP-Interaktion}{60}{subsection.5.2.1}
9.92 -\contentsline {subsubsection}{Map}{61}{section*.46}
9.93 -\contentsline {subsubsection}{Notify}{61}{section*.47}
9.94 -\contentsline {subsection}{\numberline {5.2.2}Verarbeitungslogik}{62}{subsection.5.2.2}
9.95 -\contentsline {subsection}{\numberline {5.2.3}Protokollierung}{64}{subsection.5.2.3}
9.96 -\contentsline {chapter}{\numberline {6}Realisierung}{65}{chapter.6}
9.97 -\contentsline {section}{\numberline {6.1}Programmiersprache \& Hilfsbibliotheken}{65}{section.6.1}
9.98 -\contentsline {subsection}{\numberline {6.1.1}Compiler}{65}{subsection.6.1.1}
9.99 -\contentsline {subsection}{\numberline {6.1.2}Comsoft \texttt {stdbase}}{66}{subsection.6.1.2}
9.100 -\contentsline {subsection}{\numberline {6.1.3}CppUnit}{66}{subsection.6.1.3}
9.101 -\contentsline {subsection}{\numberline {6.1.4}Code Coverage}{67}{subsection.6.1.4}
9.102 -\contentsline {section}{\numberline {6.2}Entwicklungsumgebung}{67}{section.6.2}
9.103 -\contentsline {subsection}{\numberline {6.2.1}IDE}{67}{subsection.6.2.1}
9.104 -\contentsline {subsection}{\numberline {6.2.2}Versionsverwaltung}{68}{subsection.6.2.2}
9.105 -\contentsline {subsection}{\numberline {6.2.3}Betriebssystem}{68}{subsection.6.2.3}
9.106 -\contentsline {section}{\numberline {6.3}Dokumentation \& Entwurf}{68}{section.6.3}
9.107 -\contentsline {section}{\numberline {6.4}ATCCL}{68}{section.6.4}
9.108 -\contentsline {subsection}{\numberline {6.4.1}\texttt {flex}-Konfiguration}{68}{subsection.6.4.1}
9.109 -\contentsline {subsection}{\numberline {6.4.2}\texttt {bison}-Konfiguration}{72}{subsection.6.4.2}
9.110 -\contentsline {subsection}{\numberline {6.4.3}Synthese}{72}{subsection.6.4.3}
9.111 -\contentsline {section}{\numberline {6.5}DFLOW}{73}{section.6.5}
9.112 -\contentsline {subsection}{\numberline {6.5.1}FDPS}{73}{subsection.6.5.1}
9.113 -\contentsline {subsection}{\numberline {6.5.2}Node Manager}{74}{subsection.6.5.2}
9.114 -\contentsline {subsection}{\numberline {6.5.3}AWP}{74}{subsection.6.5.3}
9.115 -\contentsline {subsection}{\numberline {6.5.4}CWP}{75}{subsection.6.5.4}
9.116 -\contentsline {chapter}{\numberline {7}Verifikation}{77}{chapter.7}
9.117 -\contentsline {section}{\numberline {7.1}Werkzeugeinsatz}{77}{section.7.1}
9.118 -\contentsline {section}{\numberline {7.2}Unit-Tests}{78}{section.7.2}
9.119 -\contentsline {section}{\numberline {7.3}Testspezifikation}{78}{section.7.3}
9.120 -\contentsline {section}{\numberline {7.4}Testdurchf\IeC {\"u}hrung}{79}{section.7.4}
9.121 -\contentsline {section}{\numberline {7.5}Effizienz}{80}{section.7.5}
9.122 -\contentsline {section}{\numberline {7.6}Leistungsanalyse}{80}{section.7.6}
9.123 -\contentsline {subsection}{\numberline {7.6.1}Analysewerkzeuge}{80}{subsection.7.6.1}
9.124 -\contentsline {subsection}{\numberline {7.6.2}Datensatz}{81}{subsection.7.6.2}
9.125 -\contentsline {subsection}{\numberline {7.6.3}Auswertung}{82}{subsection.7.6.3}
9.126 -\contentsline {chapter}{\numberline {8}Zusammenfassung}{85}{chapter.8}
9.127 -\contentsline {section}{\numberline {8.1}Fazit}{85}{section.8.1}
9.128 -\contentsline {section}{\numberline {8.2}Ausblick}{85}{section.8.2}
9.129 -\contentsline {chapter}{\numberline {A}Feinentwurf}{95}{appendix.A}
9.130 -\contentsline {section}{\numberline {A.1}ATCCL}{95}{section.A.1}
9.131 -\contentsline {subsection}{\numberline {A.1.1}Factory}{95}{subsection.A.1.1}
9.132 -\contentsline {subsection}{\numberline {A.1.2}Term-Hierarchy}{95}{subsection.A.1.2}
9.133 -\contentsline {subsection}{\numberline {A.1.3}Property (Auszug)}{96}{subsection.A.1.3}
9.134 -\contentsline {subsection}{\numberline {A.1.4}Virtual Machine}{96}{subsection.A.1.4}
9.135 -\contentsline {subsection}{\numberline {A.1.5}Flight Plan Interface}{97}{subsection.A.1.5}
9.136 -\contentsline {chapter}{\numberline {B}\texttt {bison}-Konfiguration}{99}{appendix.B}
9.137 +\contentsline {chapter}{\numberline {1}Vorwort}{5}{chapter.1}
9.138 +\contentsline {section}{\numberline {1.1}Danksagungen}{6}{section.1.1}
9.139 +\contentsline {chapter}{\numberline {2}Einleitung}{7}{chapter.2}
9.140 +\contentsline {section}{\numberline {2.1}Zielsetzung}{8}{section.2.1}
9.141 +\contentsline {section}{\numberline {2.2}Aufbau der Arbeit}{9}{section.2.2}
9.142 +\contentsline {section}{\numberline {2.3}Comsoft GmbH}{10}{section.2.3}
9.143 +\contentsline {chapter}{\numberline {3}Grundlagen}{11}{chapter.3}
9.144 +\contentsline {section}{\numberline {3.1}Flugsicherung}{11}{section.3.1}
9.145 +\contentsline {subsection}{\numberline {3.1.1}Luftraumorganisation}{11}{subsection.3.1.1}
9.146 +\contentsline {subsubsection}{Fluginformationsgebiet}{11}{section*.2}
9.147 +\contentsline {subsubsection}{Routensystem}{12}{section*.3}
9.148 +\contentsline {subsubsection}{Flugfl\IeC {\"a}chensystem}{12}{section*.4}
9.149 +\contentsline {subsection}{\numberline {3.1.2}Staffelungsverfahren}{12}{subsection.3.1.2}
9.150 +\contentsline {subsubsection}{L\IeC {\"a}ngsstaffelung}{13}{section*.5}
9.151 +\contentsline {subsubsection}{H\IeC {\"o}henstaffelung}{13}{section*.6}
9.152 +\contentsline {subsubsection}{Slot}{14}{section*.7}
9.153 +\contentsline {subsection}{\numberline {3.1.3}GCAA}{14}{subsection.3.1.3}
9.154 +\contentsline {subsubsection}{Beschr\IeC {\"a}nkungen auf Verkehrsflussdichten}{15}{section*.8}
9.155 +\contentsline {subsubsection}{Manuelle Abflugplanung}{16}{section*.9}
9.156 +\contentsline {section}{\numberline {3.2}PRISMA-Architektur}{17}{section.3.2}
9.157 +\contentsline {subsection}{\numberline {3.2.1}DMAP}{18}{subsection.3.2.1}
9.158 +\contentsline {section}{\numberline {3.3}Compilerbau}{19}{section.3.3}
9.159 +\contentsline {subsection}{\numberline {3.3.1}Compilerarchitekturen}{20}{subsection.3.3.1}
9.160 +\contentsline {subsection}{\numberline {3.3.2}Werkzeugunterst\IeC {\"u}tzung}{21}{subsection.3.3.2}
9.161 +\contentsline {subsubsection}{LLVM}{22}{section*.10}
9.162 +\contentsline {subsubsection}{\texttt {lex} und \texttt {flex}}{22}{section*.11}
9.163 +\contentsline {subsubsection}{\texttt {yacc} und \texttt {bison}}{22}{section*.12}
9.164 +\contentsline {section}{\numberline {3.4}Sicherheitsfaktoren}{22}{section.3.4}
9.165 +\contentsline {section}{\numberline {3.5}Produktvergleich}{23}{section.3.5}
9.166 +\contentsline {subsection}{\numberline {3.5.1}CFMU}{23}{subsection.3.5.1}
9.167 +\contentsline {subsection}{\numberline {3.5.2}PATS Departure Manager}{23}{subsection.3.5.2}
9.168 +\contentsline {subsection}{\numberline {3.5.3}Departure Manager Frankfurt}{24}{subsection.3.5.3}
9.169 +\contentsline {chapter}{\numberline {4}Anforderungsanalyse}{25}{chapter.4}
9.170 +\contentsline {section}{\numberline {4.1}Modellierung der Luftraumbeschr\IeC {\"a}nkungen}{25}{section.4.1}
9.171 +\contentsline {subsection}{\numberline {4.1.1}Benutzerqualifikation}{26}{subsection.4.1.1}
9.172 +\contentsline {subsection}{\numberline {4.1.2}Sicherheitsfaktoren}{26}{subsection.4.1.2}
9.173 +\contentsline {subsubsection}{Statusmeldungen}{27}{section*.13}
9.174 +\contentsline {subsubsection}{Redundanz}{27}{section*.14}
9.175 +\contentsline {subsection}{\numberline {4.1.3}Flugplandaten}{28}{subsection.4.1.3}
9.176 +\contentsline {subsubsection}{Aerodrome}{28}{section*.15}
9.177 +\contentsline {subsubsection}{Runway}{29}{section*.16}
9.178 +\contentsline {subsubsection}{Aircraft Type}{29}{section*.17}
9.179 +\contentsline {subsubsection}{Flight Type}{29}{section*.18}
9.180 +\contentsline {subsubsection}{True Airspeed}{29}{section*.19}
9.181 +\contentsline {subsection}{\numberline {4.1.4}Flussdichtenregelungen}{29}{subsection.4.1.4}
9.182 +\contentsline {section}{\numberline {4.2}Abflugplanungskomponente}{30}{section.4.2}
9.183 +\contentsline {section}{\numberline {4.3}Musskriterien}{31}{section.4.3}
9.184 +\contentsline {section}{\numberline {4.4}Sollkriterien}{32}{section.4.4}
9.185 +\contentsline {section}{\numberline {4.5}Abgrenzungskriterien}{33}{section.4.5}
9.186 +\contentsline {section}{\numberline {4.6}Dokumentation}{33}{section.4.6}
9.187 +\contentsline {chapter}{\numberline {5}Entwurf}{35}{chapter.5}
9.188 +\contentsline {section}{\numberline {5.1}ATCCL}{35}{section.5.1}
9.189 +\contentsline {subsection}{\numberline {5.1.1}Syntax}{36}{subsection.5.1.1}
9.190 +\contentsline {subsubsection}{Notation}{36}{section*.20}
9.191 +\contentsline {subsubsection}{Buchstaben und Ziffern}{37}{section*.21}
9.192 +\contentsline {subsubsection}{Kommentare}{37}{section*.22}
9.193 +\contentsline {subsubsection}{Terminatoren}{37}{section*.23}
9.194 +\contentsline {subsubsection}{Bezeichner}{38}{section*.24}
9.195 +\contentsline {subsubsection}{Schl\IeC {\"u}sselw\IeC {\"o}rter}{38}{section*.25}
9.196 +\contentsline {subsubsection}{Datentypen und Konstanten}{39}{section*.26}
9.197 +\contentsline {subsubsection}{Flugplaneigenschaften}{40}{section*.27}
9.198 +\contentsline {subsubsection}{Operatoren}{41}{section*.28}
9.199 +\contentsline {subsubsection}{Regeldefinitionen}{41}{section*.29}
9.200 +\contentsline {subsubsection}{Programm}{43}{section*.30}
9.201 +\contentsline {subsection}{\numberline {5.1.2}Beispiele}{44}{subsection.5.1.2}
9.202 +\contentsline {subsubsection}{Bsp. 1: Zielstellung}{44}{section*.31}
9.203 +\contentsline {subsubsection}{Bsp. 1: Code}{44}{section*.32}
9.204 +\contentsline {subsubsection}{Bsp. 1: Bemerkungen}{44}{section*.33}
9.205 +\contentsline {subsubsection}{Bsp. 2: Zielstellung}{45}{section*.34}
9.206 +\contentsline {subsubsection}{Bsp. 2: Code}{45}{section*.35}
9.207 +\contentsline {subsubsection}{Bsp. 2: Bemerkungen}{45}{section*.36}
9.208 +\contentsline {subsection}{\numberline {5.1.3}Compiler}{46}{subsection.5.1.3}
9.209 +\contentsline {subsubsection}{Scanner}{47}{section*.37}
9.210 +\contentsline {subsubsection}{Parser}{47}{section*.38}
9.211 +\contentsline {subsubsection}{Synthese}{47}{section*.39}
9.212 +\contentsline {subsection}{\numberline {5.1.4}Virtuelle Maschine}{48}{subsection.5.1.4}
9.213 +\contentsline {subsubsection}{FlightPlan-Interface}{49}{section*.40}
9.214 +\contentsline {subsection}{\numberline {5.1.5}Compilerprototyp}{50}{subsection.5.1.5}
9.215 +\contentsline {subsection}{\numberline {5.1.6}Evaluation von Flugplanmustern}{52}{subsection.5.1.6}
9.216 +\contentsline {subsubsection}{Beispiel}{52}{section*.41}
9.217 +\contentsline {subsection}{\numberline {5.1.7}Optimierung der Abflugzeit}{53}{subsection.5.1.7}
9.218 +\contentsline {subsubsection}{Algorithmus}{55}{section*.42}
9.219 +\contentsline {subsubsection}{Komplexit\IeC {\"a}t}{56}{section*.43}
9.220 +\contentsline {subsubsection}{Alternative}{57}{section*.44}
9.221 +\contentsline {subsubsection}{H\IeC {\"o}henstaffelung}{57}{section*.45}
9.222 +\contentsline {section}{\numberline {5.2}DFLOW}{58}{section.5.2}
9.223 +\contentsline {subsection}{\numberline {5.2.1}DMAP-Interaktion}{58}{subsection.5.2.1}
9.224 +\contentsline {subsubsection}{Map}{59}{section*.46}
9.225 +\contentsline {subsubsection}{Notify}{59}{section*.47}
9.226 +\contentsline {subsection}{\numberline {5.2.2}Verarbeitungslogik}{60}{subsection.5.2.2}
9.227 +\contentsline {subsection}{\numberline {5.2.3}Protokollierung}{62}{subsection.5.2.3}
9.228 +\contentsline {chapter}{\numberline {6}Realisierung}{63}{chapter.6}
9.229 +\contentsline {section}{\numberline {6.1}Programmiersprache \& Hilfsbibliotheken}{63}{section.6.1}
9.230 +\contentsline {subsection}{\numberline {6.1.1}Compiler}{63}{subsection.6.1.1}
9.231 +\contentsline {subsection}{\numberline {6.1.2}Comsoft \texttt {stdbase}}{64}{subsection.6.1.2}
9.232 +\contentsline {subsection}{\numberline {6.1.3}CppUnit}{64}{subsection.6.1.3}
9.233 +\contentsline {subsection}{\numberline {6.1.4}Code Coverage}{65}{subsection.6.1.4}
9.234 +\contentsline {section}{\numberline {6.2}Entwicklungsumgebung}{65}{section.6.2}
9.235 +\contentsline {subsection}{\numberline {6.2.1}IDE}{65}{subsection.6.2.1}
9.236 +\contentsline {subsection}{\numberline {6.2.2}Versionsverwaltung}{66}{subsection.6.2.2}
9.237 +\contentsline {subsection}{\numberline {6.2.3}Betriebssystem}{66}{subsection.6.2.3}
9.238 +\contentsline {section}{\numberline {6.3}Dokumentation \& Entwurf}{66}{section.6.3}
9.239 +\contentsline {section}{\numberline {6.4}ATCCL}{66}{section.6.4}
9.240 +\contentsline {subsection}{\numberline {6.4.1}\texttt {flex}-Konfiguration}{66}{subsection.6.4.1}
9.241 +\contentsline {subsection}{\numberline {6.4.2}\texttt {bison}-Konfiguration}{70}{subsection.6.4.2}
9.242 +\contentsline {subsection}{\numberline {6.4.3}Synthese}{70}{subsection.6.4.3}
9.243 +\contentsline {section}{\numberline {6.5}DFLOW}{71}{section.6.5}
9.244 +\contentsline {subsection}{\numberline {6.5.1}FDPS}{71}{subsection.6.5.1}
9.245 +\contentsline {subsection}{\numberline {6.5.2}Node Manager}{72}{subsection.6.5.2}
9.246 +\contentsline {subsection}{\numberline {6.5.3}AWP}{72}{subsection.6.5.3}
9.247 +\contentsline {subsection}{\numberline {6.5.4}CWP}{73}{subsection.6.5.4}
9.248 +\contentsline {chapter}{\numberline {7}Verifikation}{75}{chapter.7}
9.249 +\contentsline {section}{\numberline {7.1}Werkzeugeinsatz}{75}{section.7.1}
9.250 +\contentsline {section}{\numberline {7.2}Unit-Tests}{76}{section.7.2}
9.251 +\contentsline {section}{\numberline {7.3}Testspezifikation}{76}{section.7.3}
9.252 +\contentsline {section}{\numberline {7.4}Testdurchf\IeC {\"u}hrung}{77}{section.7.4}
9.253 +\contentsline {section}{\numberline {7.5}Effizienz}{78}{section.7.5}
9.254 +\contentsline {section}{\numberline {7.6}Leistungsanalyse}{78}{section.7.6}
9.255 +\contentsline {subsection}{\numberline {7.6.1}Analysewerkzeuge}{78}{subsection.7.6.1}
9.256 +\contentsline {subsection}{\numberline {7.6.2}Datensatz}{79}{subsection.7.6.2}
9.257 +\contentsline {subsection}{\numberline {7.6.3}Auswertung}{80}{subsection.7.6.3}
9.258 +\contentsline {chapter}{\numberline {8}Zusammenfassung}{83}{chapter.8}
9.259 +\contentsline {section}{\numberline {8.1}Fazit}{83}{section.8.1}
9.260 +\contentsline {section}{\numberline {8.2}Ausblick}{83}{section.8.2}
9.261 +\contentsline {chapter}{\numberline {A}Feinentwurf}{93}{appendix.A}
9.262 +\contentsline {section}{\numberline {A.1}ATCCL}{93}{section.A.1}
9.263 +\contentsline {subsection}{\numberline {A.1.1}Factory}{93}{subsection.A.1.1}
9.264 +\contentsline {subsection}{\numberline {A.1.2}Term-Hierarchy}{93}{subsection.A.1.2}
9.265 +\contentsline {subsection}{\numberline {A.1.3}Property (Auszug)}{94}{subsection.A.1.3}
9.266 +\contentsline {subsection}{\numberline {A.1.4}Virtual Machine}{94}{subsection.A.1.4}
9.267 +\contentsline {subsection}{\numberline {A.1.5}Flight Plan Interface}{95}{subsection.A.1.5}
9.268 +\contentsline {chapter}{\numberline {B}\texttt {bison}-Konfiguration}{97}{appendix.B}