|
sawine@1
|
1 |
\relax
|
|
sawine@1
|
2 |
\catcode`"\active
|
|
sawine@1
|
3 |
\ifx\hyper@anchor\@undefined
|
|
sawine@1
|
4 |
\global \let \oldcontentsline\contentsline
|
|
sawine@1
|
5 |
\gdef \contentsline#1#2#3#4{\oldcontentsline{#1}{#2}{#3}}
|
|
sawine@1
|
6 |
\global \let \oldnewlabel\newlabel
|
|
sawine@1
|
7 |
\gdef \newlabel#1#2{\newlabelxx{#1}#2}
|
|
sawine@1
|
8 |
\gdef \newlabelxx#1#2#3#4#5#6{\oldnewlabel{#1}{{#2}{#3}}}
|
|
sawine@1
|
9 |
\AtEndDocument{\let \contentsline\oldcontentsline
|
|
sawine@1
|
10 |
\let \newlabel\oldnewlabel}
|
|
sawine@1
|
11 |
\else
|
|
sawine@1
|
12 |
\global \let \hyper@last\relax
|
|
sawine@1
|
13 |
\fi
|
|
sawine@1
|
14 |
|
|
sawine@1
|
15 |
\bibstyle{alpha}
|
|
sawine@1
|
16 |
\citation{*}
|
|
sawine@1
|
17 |
\select@language{ngerman}
|
|
sawine@1
|
18 |
\@writefile{toc}{\select@language{ngerman}}
|
|
sawine@1
|
19 |
\@writefile{lof}{\select@language{ngerman}}
|
|
sawine@1
|
20 |
\@writefile{lot}{\select@language{ngerman}}
|
|
sawine@3
|
21 |
\@writefile{toc}{\contentsline {chapter}{\numberline {1}Vorwort}{7}{chapter.1}}
|
|
sawine@1
|
22 |
\@writefile{lof}{\addvspace {10\p@ }}
|
|
sawine@1
|
23 |
\@writefile{lot}{\addvspace {10\p@ }}
|
|
sawine@1
|
24 |
\@writefile{lol}{\addvspace {10\p@ }}
|
|
sawine@1
|
25 |
\@writefile{loa}{\addvspace {10\p@ }}
|
|
sawine@3
|
26 |
\@writefile{lof}{\contentsline {figure}{\numberline {\relax 1.1}{\ignorespaces Luftverkehrsrouten}}{7}{figure.1.1}}
|
|
sawine@3
|
27 |
\@writefile{toc}{\contentsline {section}{\numberline {1.1}Danksagungen}{8}{section.1.1}}
|
|
sawine@1
|
28 |
\citation{moderne_flugsicherung}
|
|
sawine@1
|
29 |
\citation{moderne_flugsicherung}
|
|
sawine@1
|
30 |
\citation{moderne_flugsicherung}
|
|
sawine@3
|
31 |
\@writefile{toc}{\contentsline {chapter}{\numberline {2}Einleitung}{9}{chapter.2}}
|
|
sawine@1
|
32 |
\@writefile{lof}{\addvspace {10\p@ }}
|
|
sawine@1
|
33 |
\@writefile{lot}{\addvspace {10\p@ }}
|
|
sawine@1
|
34 |
\@writefile{lol}{\addvspace {10\p@ }}
|
|
sawine@1
|
35 |
\@writefile{loa}{\addvspace {10\p@ }}
|
|
sawine@3
|
36 |
\@writefile{toc}{\contentsline {section}{\numberline {2.1}Zielsetzung}{9}{section.2.1}}
|
|
sawine@3
|
37 |
\@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}}
|
|
sawine@3
|
38 |
\newlabel{fig:atfm_stats}{{\relax 2.1}{10}{Ursachen für Abflugverspätungen in Europa. \emph {Quelle: \cite {moderne_flugsicherung}}\relax }{figure.2.1}{}}
|
|
sawine@3
|
39 |
\@writefile{toc}{\contentsline {section}{\numberline {2.2}Aufbau der Arbeit}{11}{section.2.2}}
|
|
sawine@3
|
40 |
\@writefile{toc}{\contentsline {section}{\numberline {2.3}Comsoft GmbH}{11}{section.2.3}}
|
|
sawine@1
|
41 |
\citation{moderne_flugsicherung}
|
|
sawine@3
|
42 |
\@writefile{toc}{\contentsline {chapter}{\numberline {3}Grundlagen}{13}{chapter.3}}
|
|
sawine@1
|
43 |
\@writefile{lof}{\addvspace {10\p@ }}
|
|
sawine@1
|
44 |
\@writefile{lot}{\addvspace {10\p@ }}
|
|
sawine@1
|
45 |
\@writefile{lol}{\addvspace {10\p@ }}
|
|
sawine@1
|
46 |
\@writefile{loa}{\addvspace {10\p@ }}
|
|
sawine@3
|
47 |
\@writefile{toc}{\contentsline {section}{\numberline {3.1}Flugsicherung}{13}{section.3.1}}
|
|
sawine@3
|
48 |
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1.1}Luftraumorganisation}{13}{subsection.3.1.1}}
|
|
sawine@3
|
49 |
\@writefile{toc}{\contentsline {subsubsection}{Fluginformationsgebiet}{13}{section*.2}}
|
|
sawine@1
|
50 |
\citation{moderne_flugsicherung}
|
|
sawine@3
|
51 |
\@writefile{toc}{\contentsline {subsubsection}{Routensystem}{14}{section*.3}}
|
|
sawine@3
|
52 |
\newlabel{grundlagen:routensystem}{{3.1.1}{14}{Routensystem\relax }{section*.3}{}}
|
|
sawine@3
|
53 |
\@writefile{toc}{\contentsline {subsubsection}{Flugfl\IeC {\"a}chensystem}{14}{section*.4}}
|
|
sawine@3
|
54 |
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1.2}Staffelungsverfahren}{14}{subsection.3.1.2}}
|
|
sawine@3
|
55 |
\@writefile{toc}{\contentsline {subsubsection}{L\IeC {\"a}ngsstaffelung}{15}{section*.5}}
|
|
sawine@3
|
56 |
\newlabel{research:time_separation}{{3.1.2}{15}{Längsstaffelung\relax }{section*.5}{}}
|
|
sawine@3
|
57 |
\@writefile{toc}{\contentsline {subsubsection}{H\IeC {\"o}henstaffelung}{15}{section*.6}}
|
|
sawine@3
|
58 |
\newlabel{research:flight_level_separation}{{3.1.2}{15}{Höhenstaffelung\relax }{section*.6}{}}
|
|
sawine@3
|
59 |
\@writefile{toc}{\contentsline {subsubsection}{Slot}{16}{section*.7}}
|
|
sawine@3
|
60 |
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1.3}GCAA}{16}{subsection.3.1.3}}
|
|
sawine@3
|
61 |
\@writefile{toc}{\contentsline {subsubsection}{Beschr\IeC {\"a}nkungen auf Verkehrsflussdichten}{17}{section*.8}}
|
|
sawine@3
|
62 |
\newlabel{research:gcaa:flow_restrictions}{{3.1.3}{17}{Beschränkungen auf Verkehrsflussdichten\relax }{section*.8}{}}
|
|
sawine@3
|
63 |
\@writefile{lof}{\contentsline {figure}{\numberline {\relax 3.1}{\ignorespaces GCAA Luftraumbeschr\IeC {\"a}nkungen}}{17}{figure.3.1}}
|
|
sawine@3
|
64 |
\newlabel{fig:near_east}{{\relax 3.1}{17}{GCAA Luftraumbeschränkungen\relax }{figure.3.1}{}}
|
|
sawine@3
|
65 |
\@writefile{toc}{\contentsline {subsubsection}{Manuelle Abflugplanung}{18}{section*.9}}
|
|
sawine@3
|
66 |
\@writefile{toc}{\contentsline {section}{\numberline {3.2}PRISMA-Architektur}{19}{section.3.2}}
|
|
sawine@3
|
67 |
\@writefile{toc}{\contentsline {subsection}{\numberline {3.2.1}DMAP}{20}{subsection.3.2.1}}
|
|
sawine@3
|
68 |
\@writefile{toc}{\contentsline {section}{\numberline {3.3}Compilerbau}{21}{section.3.3}}
|
|
sawine@1
|
69 |
\citation{compilers}
|
|
sawine@1
|
70 |
\citation{compilers}
|
|
sawine@1
|
71 |
\citation{compilers}
|
|
sawine@1
|
72 |
\citation{compilers}
|
|
sawine@1
|
73 |
\citation{compilers}
|
|
sawine@1
|
74 |
\citation{compilers}
|
|
sawine@1
|
75 |
\citation{compilers}
|
|
sawine@3
|
76 |
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.1}Compilerarchitekturen}{22}{subsection.3.3.1}}
|
|
sawine@3
|
77 |
\@writefile{lof}{\contentsline {figure}{\numberline {\relax 3.2}{\ignorespaces Ein Compiler. \emph {Quelle: \cite {compilers}}}}{22}{figure.3.2}}
|
|
sawine@3
|
78 |
\newlabel{fig:compiler}{{\relax 3.2}{22}{Ein Compiler. \emph {Quelle: \cite {compilers}}\relax }{figure.3.2}{}}
|
|
sawine@3
|
79 |
\@writefile{lof}{\contentsline {figure}{\numberline {\relax 3.3}{\ignorespaces Ein Interpreter. \emph {Quelle: \cite {compilers}}}}{22}{figure.3.3}}
|
|
sawine@3
|
80 |
\newlabel{fig:interpreter}{{\relax 3.3}{22}{Ein Interpreter. \emph {Quelle: \cite {compilers}}\relax }{figure.3.3}{}}
|
|
sawine@3
|
81 |
\@writefile{lof}{\contentsline {figure}{\numberline {\relax 3.4}{\ignorespaces Ein hybrider Compiler. \emph {Quelle: \cite {compilers}}}}{23}{figure.3.4}}
|
|
sawine@3
|
82 |
\newlabel{fig:hybrid_compiler}{{\relax 3.4}{23}{Ein hybrider Compiler. \emph {Quelle: \cite {compilers}}\relax }{figure.3.4}{}}
|
|
sawine@3
|
83 |
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.2}Werkzeugunterst\IeC {\"u}tzung}{23}{subsection.3.3.2}}
|
|
sawine@3
|
84 |
\@writefile{toc}{\contentsline {subsubsection}{LLVM}{24}{section*.10}}
|
|
sawine@3
|
85 |
\@writefile{toc}{\contentsline {subsubsection}{\texttt {lex} und \texttt {flex}}{24}{section*.11}}
|
|
sawine@3
|
86 |
\@writefile{toc}{\contentsline {subsubsection}{\texttt {yacc} und \texttt {bison}}{24}{section*.12}}
|
|
sawine@3
|
87 |
\@writefile{toc}{\contentsline {section}{\numberline {3.4}Sicherheitsfaktoren}{24}{section.3.4}}
|
|
sawine@1
|
88 |
\citation{eurocontrol_dman}
|
|
sawine@3
|
89 |
\@writefile{toc}{\contentsline {section}{\numberline {3.5}Produktvergleich}{25}{section.3.5}}
|
|
sawine@3
|
90 |
\@writefile{toc}{\contentsline {subsection}{\numberline {3.5.1}CFMU}{25}{subsection.3.5.1}}
|
|
sawine@3
|
91 |
\@writefile{toc}{\contentsline {subsection}{\numberline {3.5.2}PATS Departure Manager}{25}{subsection.3.5.2}}
|
|
sawine@1
|
92 |
\citation{eurocontrol_dman}
|
|
sawine@1
|
93 |
\citation{flugleiter_dman}
|
|
sawine@1
|
94 |
\citation{flugleiter_dman}
|
|
sawine@3
|
95 |
\@writefile{toc}{\contentsline {subsection}{\numberline {3.5.3}Departure Manager Frankfurt}{26}{subsection.3.5.3}}
|
|
sawine@3
|
96 |
\@writefile{toc}{\contentsline {chapter}{\numberline {4}Anforderungsanalyse}{27}{chapter.4}}
|
|
sawine@1
|
97 |
\@writefile{lof}{\addvspace {10\p@ }}
|
|
sawine@1
|
98 |
\@writefile{lot}{\addvspace {10\p@ }}
|
|
sawine@1
|
99 |
\@writefile{lol}{\addvspace {10\p@ }}
|
|
sawine@1
|
100 |
\@writefile{loa}{\addvspace {10\p@ }}
|
|
sawine@3
|
101 |
\@writefile{toc}{\contentsline {section}{\numberline {4.1}Modellierung der Luftraumbeschr\IeC {\"a}nkungen}{27}{section.4.1}}
|
|
sawine@1
|
102 |
\citation{iec_61508}
|
|
sawine@3
|
103 |
\@writefile{toc}{\contentsline {subsection}{\numberline {4.1.1}Benutzerqualifikation}{28}{subsection.4.1.1}}
|
|
sawine@3
|
104 |
\@writefile{toc}{\contentsline {subsection}{\numberline {4.1.2}Sicherheitsfaktoren}{28}{subsection.4.1.2}}
|
|
sawine@3
|
105 |
\@writefile{toc}{\contentsline {subsubsection}{Statusmeldungen}{29}{section*.13}}
|
|
sawine@3
|
106 |
\@writefile{toc}{\contentsline {subsubsection}{Redundanz}{29}{section*.14}}
|
|
sawine@1
|
107 |
\citation{icao_4444}
|
|
sawine@1
|
108 |
\citation{icao_4444}
|
|
sawine@3
|
109 |
\@writefile{toc}{\contentsline {subsection}{\numberline {4.1.3}Flugplandaten}{30}{subsection.4.1.3}}
|
|
sawine@3
|
110 |
\@writefile{toc}{\contentsline {subsubsection}{Aerodrome}{30}{section*.15}}
|
|
sawine@3
|
111 |
\@writefile{toc}{\contentsline {subsubsection}{Runway}{31}{section*.16}}
|
|
sawine@3
|
112 |
\@writefile{toc}{\contentsline {subsubsection}{Aircraft Type}{31}{section*.17}}
|
|
sawine@3
|
113 |
\@writefile{toc}{\contentsline {subsubsection}{Flight Type}{31}{section*.18}}
|
|
sawine@3
|
114 |
\@writefile{toc}{\contentsline {subsubsection}{True Airspeed}{31}{section*.19}}
|
|
sawine@3
|
115 |
\@writefile{toc}{\contentsline {subsection}{\numberline {4.1.4}Flussdichtenregelungen}{31}{subsection.4.1.4}}
|
|
sawine@3
|
116 |
\newlabel{analysis:atccl:flow_restrictions}{{4.1.4}{31}{Flussdichtenregelungen\relax }{subsection.4.1.4}{}}
|
|
sawine@3
|
117 |
\@writefile{toc}{\contentsline {section}{\numberline {4.2}Abflugplanungskomponente}{32}{section.4.2}}
|
|
sawine@3
|
118 |
\@writefile{toc}{\contentsline {section}{\numberline {4.3}Musskriterien}{33}{section.4.3}}
|
|
sawine@3
|
119 |
\@writefile{toc}{\contentsline {section}{\numberline {4.4}Sollkriterien}{33}{section.4.4}}
|
|
sawine@3
|
120 |
\@writefile{toc}{\contentsline {section}{\numberline {4.5}Abgrenzungskriterien}{34}{section.4.5}}
|
|
sawine@1
|
121 |
\citation{iec_61508}
|
|
sawine@3
|
122 |
\@writefile{toc}{\contentsline {section}{\numberline {4.6}Dokumentation}{35}{section.4.6}}
|
|
sawine@1
|
123 |
\citation{ebnf}
|
|
sawine@3
|
124 |
\@writefile{toc}{\contentsline {chapter}{\numberline {5}Entwurf}{37}{chapter.5}}
|
|
sawine@1
|
125 |
\@writefile{lof}{\addvspace {10\p@ }}
|
|
sawine@1
|
126 |
\@writefile{lot}{\addvspace {10\p@ }}
|
|
sawine@1
|
127 |
\@writefile{lol}{\addvspace {10\p@ }}
|
|
sawine@1
|
128 |
\@writefile{loa}{\addvspace {10\p@ }}
|
|
sawine@3
|
129 |
\@writefile{toc}{\contentsline {section}{\numberline {5.1}ATCCL}{37}{section.5.1}}
|
|
sawine@3
|
130 |
\@writefile{toc}{\contentsline {subsection}{\numberline {5.1.1}Syntax}{38}{subsection.5.1.1}}
|
|
sawine@3
|
131 |
\@writefile{toc}{\contentsline {subsubsection}{Notation}{38}{section*.20}}
|
|
sawine@3
|
132 |
\newlabel{EBNF Notation}{{5.1}{38}{EBNF Notation\relax }{lstlisting.5.1}{}}
|
|
sawine@3
|
133 |
\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.1}EBNF Notation}{38}{lstlisting.5.1}}
|
|
sawine@3
|
134 |
\@writefile{toc}{\contentsline {subsubsection}{Buchstaben und Ziffern}{39}{section*.21}}
|
|
sawine@3
|
135 |
\newlabel{ATCCL EBNF Buchstaben und Zeichen}{{5.2}{39}{ATCCL EBNF Buchstaben und Zeichen\relax }{lstlisting.5.2}{}}
|
|
sawine@3
|
136 |
\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.2}ATCCL EBNF Buchstaben und Zeichen}{39}{lstlisting.5.2}}
|
|
sawine@3
|
137 |
\@writefile{toc}{\contentsline {subsubsection}{Kommentare}{39}{section*.22}}
|
|
sawine@3
|
138 |
\newlabel{ATCCL EBNF Kommentare}{{5.3}{39}{ATCCL EBNF Kommentare\relax }{lstlisting.5.3}{}}
|
|
sawine@3
|
139 |
\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.3}ATCCL EBNF Kommentare}{39}{lstlisting.5.3}}
|
|
sawine@3
|
140 |
\@writefile{toc}{\contentsline {subsubsection}{Terminatoren}{39}{section*.23}}
|
|
sawine@3
|
141 |
\@writefile{toc}{\contentsline {subsubsection}{Bezeichner}{40}{section*.24}}
|
|
sawine@3
|
142 |
\newlabel{ATCCL EBNF Bezeichner}{{5.4}{40}{ATCCL EBNF Bezeichner\relax }{lstlisting.5.4}{}}
|
|
sawine@3
|
143 |
\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.4}ATCCL EBNF Bezeichner}{40}{lstlisting.5.4}}
|
|
sawine@3
|
144 |
\@writefile{toc}{\contentsline {subsubsection}{Schl\IeC {\"u}sselw\IeC {\"o}rter}{40}{section*.25}}
|
|
sawine@3
|
145 |
\newlabel{ATCCL EBNF Schluesselwoerter}{{5.5}{40}{ATCCL EBNF Schluesselwoerter\relax }{lstlisting.5.5}{}}
|
|
sawine@3
|
146 |
\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.5}ATCCL EBNF Schluesselwoerter}{40}{lstlisting.5.5}}
|
|
sawine@3
|
147 |
\@writefile{toc}{\contentsline {subsubsection}{Datentypen und Konstanten}{41}{section*.26}}
|
|
sawine@3
|
148 |
\newlabel{ATCCL EBNF Datentypen}{{5.6}{41}{ATCCL EBNF Datentypen\relax }{lstlisting.5.6}{}}
|
|
sawine@3
|
149 |
\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.6}ATCCL EBNF Datentypen}{41}{lstlisting.5.6}}
|
|
sawine@3
|
150 |
\@writefile{toc}{\contentsline {subsubsection}{Flugplaneigenschaften}{42}{section*.27}}
|
|
sawine@3
|
151 |
\newlabel{ATCCL EBNF Flugplaneigenschaften}{{5.7}{42}{ATCCL EBNF Flugplaneigenschaften\relax }{lstlisting.5.7}{}}
|
|
sawine@3
|
152 |
\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.7}ATCCL EBNF Flugplaneigenschaften}{42}{lstlisting.5.7}}
|
|
sawine@3
|
153 |
\@writefile{toc}{\contentsline {subsubsection}{Operatoren}{43}{section*.28}}
|
|
sawine@3
|
154 |
\newlabel{ATCCL EBNF Operatoren}{{5.8}{43}{ATCCL EBNF Operatoren\relax }{lstlisting.5.8}{}}
|
|
sawine@3
|
155 |
\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.8}ATCCL EBNF Operatoren}{43}{lstlisting.5.8}}
|
|
sawine@3
|
156 |
\@writefile{toc}{\contentsline {subsubsection}{Regeldefinitionen}{43}{section*.29}}
|
|
sawine@3
|
157 |
\newlabel{ATCCL EBNF Flugplanmuster}{{5.9}{44}{ATCCL EBNF Flugplanmuster\relax }{lstlisting.5.9}{}}
|
|
sawine@3
|
158 |
\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.9}ATCCL EBNF Flugplanmuster}{44}{lstlisting.5.9}}
|
|
sawine@3
|
159 |
\newlabel{ATCCL EBNF Separationsregeln}{{5.10}{44}{ATCCL EBNF Separationsregeln\relax }{lstlisting.5.10}{}}
|
|
sawine@3
|
160 |
\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.10}ATCCL EBNF Separationsregeln}{44}{lstlisting.5.10}}
|
|
sawine@3
|
161 |
\newlabel{ATCCL EBNF Flow Point}{{5.11}{45}{ATCCL EBNF Flow Point\relax }{lstlisting.5.11}{}}
|
|
sawine@3
|
162 |
\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.11}ATCCL EBNF Flow Point}{45}{lstlisting.5.11}}
|
|
sawine@3
|
163 |
\@writefile{toc}{\contentsline {subsubsection}{Programm}{45}{section*.30}}
|
|
sawine@3
|
164 |
\newlabel{ATCCL EBNF Konfiguration}{{5.12}{45}{ATCCL EBNF Konfiguration\relax }{lstlisting.5.12}{}}
|
|
sawine@3
|
165 |
\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.12}ATCCL EBNF Konfiguration}{45}{lstlisting.5.12}}
|
|
sawine@3
|
166 |
\@writefile{toc}{\contentsline {subsection}{\numberline {5.1.2}Beispiele}{45}{subsection.5.1.2}}
|
|
sawine@3
|
167 |
\@writefile{toc}{\contentsline {subsubsection}{Zielstellung}{45}{section*.31}}
|
|
sawine@3
|
168 |
\@writefile{toc}{\contentsline {subsubsection}{Code}{46}{section*.32}}
|
|
sawine@3
|
169 |
\newlabel{ATCCL Einfaches Beispiel}{{5.13}{46}{ATCCL Einfaches Beispiel\relax }{lstlisting.5.13}{}}
|
|
sawine@3
|
170 |
\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.13}ATCCL Einfaches Beispiel}{46}{lstlisting.5.13}}
|
|
sawine@3
|
171 |
\@writefile{toc}{\contentsline {subsubsection}{Bemerkungen}{46}{section*.33}}
|
|
sawine@3
|
172 |
\@writefile{toc}{\contentsline {subsubsection}{Zielstellung}{46}{section*.34}}
|
|
sawine@3
|
173 |
\@writefile{toc}{\contentsline {subsubsection}{Code}{47}{section*.35}}
|
|
sawine@3
|
174 |
\newlabel{ATCCL Komplexes Beispiel}{{5.14}{47}{ATCCL Komplexes Beispiel\relax }{lstlisting.5.14}{}}
|
|
sawine@3
|
175 |
\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.14}ATCCL Komplexes Beispiel}{47}{lstlisting.5.14}}
|
|
sawine@3
|
176 |
\@writefile{toc}{\contentsline {subsubsection}{Bemerkungen}{47}{section*.36}}
|
|
sawine@3
|
177 |
\@writefile{toc}{\contentsline {subsection}{\numberline {5.1.3}Compiler}{47}{subsection.5.1.3}}
|
|
sawine@3
|
178 |
\@writefile{lof}{\contentsline {figure}{\numberline {\relax 5.1}{\ignorespaces Der \IeC {\"U}bersetzungsprozess}}{48}{figure.5.1}}
|
|
sawine@3
|
179 |
\newlabel{fig:compile_process}{{\relax 5.1}{48}{Der Übersetzungsprozess\relax }{figure.5.1}{}}
|
|
sawine@3
|
180 |
\@writefile{toc}{\contentsline {subsubsection}{Scanner}{48}{section*.37}}
|
|
sawine@1
|
181 |
\citation{design_patterns}
|
|
sawine@3
|
182 |
\@writefile{toc}{\contentsline {subsubsection}{Parser}{49}{section*.38}}
|
|
sawine@3
|
183 |
\@writefile{toc}{\contentsline {subsubsection}{Synthese}{49}{section*.39}}
|
|
sawine@3
|
184 |
\@writefile{toc}{\contentsline {subsection}{\numberline {5.1.4}Virtuelle Maschine}{50}{subsection.5.1.4}}
|
|
sawine@3
|
185 |
\@writefile{toc}{\contentsline {subsubsection}{FlightPlan-Interface}{50}{section*.40}}
|
|
sawine@3
|
186 |
\newlabel{design:flight_plan}{{5.1.4}{50}{FlightPlan-Interface\relax }{section*.40}{}}
|
|
sawine@3
|
187 |
\@writefile{lof}{\contentsline {figure}{\numberline {\relax 5.2}{\ignorespaces ATCCL \texttt {VirtualMachine}}}{51}{figure.5.2}}
|
|
sawine@3
|
188 |
\newlabel{fig:virtual_machine_basic}{{\relax 5.2}{51}{ATCCL \texttt {VirtualMachine}\relax }{figure.5.2}{}}
|
|
sawine@3
|
189 |
\@writefile{toc}{\contentsline {subsection}{\numberline {5.1.5}Compilerprototyp}{52}{subsection.5.1.5}}
|
|
sawine@3
|
190 |
\@writefile{toc}{\contentsline {subsection}{\numberline {5.1.6}Evaluation von Flugplanmustern}{53}{subsection.5.1.6}}
|
|
sawine@3
|
191 |
\newlabel{design:pattern_evaluation}{{5.1.6}{53}{Evaluation von Flugplanmustern\relax }{subsection.5.1.6}{}}
|
|
sawine@3
|
192 |
\@writefile{toc}{\contentsline {subsubsection}{Beispiel}{53}{section*.41}}
|
|
sawine@3
|
193 |
\newlabel{ATCCL Pattern-Beispiel}{{5.15}{53}{ATCCL Pattern-Beispiel\relax }{lstlisting.5.15}{}}
|
|
sawine@3
|
194 |
\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.15}ATCCL Pattern-Beispiel}{53}{lstlisting.5.15}}
|
|
sawine@3
|
195 |
\@writefile{lof}{\contentsline {figure}{\numberline {\relax 5.3}{\ignorespaces ATCCL \texttt {Pattern}-Evaluation-Beispiel}}{55}{figure.5.3}}
|
|
sawine@3
|
196 |
\newlabel{fig:pattern_evaluation1}{{\relax 5.3}{55}{ATCCL \texttt {Pattern}-Evaluation-Beispiel\relax }{figure.5.3}{}}
|
|
sawine@3
|
197 |
\@writefile{toc}{\contentsline {subsection}{\numberline {5.1.7}Optimierung der Abflugzeit}{55}{subsection.5.1.7}}
|
|
sawine@3
|
198 |
\newlabel{design:atot_calculation}{{5.1.7}{55}{Optimierung der Abflugzeit\relax }{subsection.5.1.7}{}}
|
|
sawine@3
|
199 |
\@writefile{toc}{\contentsline {subsubsection}{Algorithmus}{56}{section*.42}}
|
|
sawine@3
|
200 |
\@writefile{loa}{\contentsline {algorithm}{\numberline {1}{\ignorespaces $resolve(separation, flowtime, flowtimes) \rightarrow flowtime$}}{57}{algorithm.1}}
|
|
sawine@3
|
201 |
\@writefile{loa}{\contentsline {algorithm}{\numberline {2}{\ignorespaces $multresolve(flightplan, flightplans) \rightarrow atot$}}{58}{algorithm.2}}
|
|
sawine@3
|
202 |
\@writefile{toc}{\contentsline {subsubsection}{Komplexit\IeC {\"a}t}{58}{section*.43}}
|
|
sawine@3
|
203 |
\@writefile{toc}{\contentsline {subsubsection}{Alternative}{59}{section*.44}}
|
|
sawine@3
|
204 |
\@writefile{toc}{\contentsline {subsubsection}{H\IeC {\"o}henstaffelung}{59}{section*.45}}
|
|
sawine@1
|
205 |
\citation{design_patterns}
|
|
sawine@3
|
206 |
\@writefile{toc}{\contentsline {section}{\numberline {5.2}DFLOW}{60}{section.5.2}}
|
|
sawine@3
|
207 |
\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.1}DMAP-Interaktion}{60}{subsection.5.2.1}}
|
|
sawine@3
|
208 |
\@writefile{toc}{\contentsline {subsubsection}{Map}{60}{section*.46}}
|
|
sawine@3
|
209 |
\@writefile{toc}{\contentsline {subsubsection}{Notify}{61}{section*.47}}
|
|
sawine@3
|
210 |
\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.2}Verarbeitungslogik}{62}{subsection.5.2.2}}
|
|
sawine@1
|
211 |
\citation{flugleiter_dman}
|
|
sawine@3
|
212 |
\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.3}Protokollierung}{63}{subsection.5.2.3}}
|
|
sawine@1
|
213 |
\citation{iec_61508}
|
|
sawine@1
|
214 |
\citation{iec_61508}
|
|
sawine@1
|
215 |
\citation{iec_61508}
|
|
sawine@3
|
216 |
\@writefile{toc}{\contentsline {chapter}{\numberline {6}Realisierung}{65}{chapter.6}}
|
|
sawine@1
|
217 |
\@writefile{lof}{\addvspace {10\p@ }}
|
|
sawine@1
|
218 |
\@writefile{lot}{\addvspace {10\p@ }}
|
|
sawine@1
|
219 |
\@writefile{lol}{\addvspace {10\p@ }}
|
|
sawine@1
|
220 |
\@writefile{loa}{\addvspace {10\p@ }}
|
|
sawine@3
|
221 |
\@writefile{toc}{\contentsline {section}{\numberline {6.1}Programmiersprache \& Hilfsbibliotheken}{65}{section.6.1}}
|
|
sawine@3
|
222 |
\@writefile{toc}{\contentsline {subsection}{\numberline {6.1.1}Compiler}{65}{subsection.6.1.1}}
|
|
sawine@3
|
223 |
\@writefile{toc}{\contentsline {subsection}{\numberline {6.1.2}Comsoft \texttt {stdbase}}{66}{subsection.6.1.2}}
|
|
sawine@3
|
224 |
\@writefile{toc}{\contentsline {subsection}{\numberline {6.1.3}CppUnit}{66}{subsection.6.1.3}}
|
|
sawine@3
|
225 |
\@writefile{lof}{\contentsline {figure}{\numberline {\relax 6.1}{\ignorespaces \texttt {StackVector}}}{67}{figure.6.1}}
|
|
sawine@3
|
226 |
\newlabel{uml:stack_vector}{{\relax 6.1}{67}{\texttt {StackVector}\relax }{figure.6.1}{}}
|
|
sawine@3
|
227 |
\@writefile{toc}{\contentsline {subsection}{\numberline {6.1.4}Code Coverage}{67}{subsection.6.1.4}}
|
|
sawine@3
|
228 |
\@writefile{toc}{\contentsline {section}{\numberline {6.2}Entwicklungsumgebung}{67}{section.6.2}}
|
|
sawine@3
|
229 |
\@writefile{toc}{\contentsline {subsection}{\numberline {6.2.1}IDE}{67}{subsection.6.2.1}}
|
|
sawine@3
|
230 |
\@writefile{toc}{\contentsline {subsection}{\numberline {6.2.2}Versionsverwaltung}{68}{subsection.6.2.2}}
|
|
sawine@3
|
231 |
\@writefile{toc}{\contentsline {subsection}{\numberline {6.2.3}Betriebssystem}{68}{subsection.6.2.3}}
|
|
sawine@3
|
232 |
\@writefile{toc}{\contentsline {section}{\numberline {6.3}Dokumentation \& Entwurf}{68}{section.6.3}}
|
|
sawine@3
|
233 |
\@writefile{toc}{\contentsline {section}{\numberline {6.4}ATCCL}{68}{section.6.4}}
|
|
sawine@3
|
234 |
\@writefile{toc}{\contentsline {subsection}{\numberline {6.4.1}\texttt {flex}-Konfiguration}{68}{subsection.6.4.1}}
|
|
sawine@1
|
235 |
\citation{lex_paper}
|
|
sawine@1
|
236 |
\citation{lex_yacc_guide}
|
|
sawine@1
|
237 |
\citation{lex_paper}
|
|
sawine@1
|
238 |
\citation{lex_yacc_guide}
|
|
sawine@3
|
239 |
\newlabel{flex_config1}{{6.1}{69}{ATCCL \texttt {flex}-Konfiguration: Zeichenklassen\relax }{lstlisting.6.1}{}}
|
|
sawine@3
|
240 |
\@writefile{lol}{\contentsline {lstlisting}{\numberline {6.1}ATCCL \texttt {flex}-Konfiguration: Zeichenklassen}{69}{lstlisting.6.1}}
|
|
sawine@3
|
241 |
\@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}}
|
|
sawine@3
|
242 |
\newlabel{flex_metazeichen}{{\relax 6.1}{69}{\texttt {flex}-Metazeichen \emph {(Quelle: \cite {lex_paper}, \cite {lex_yacc_guide})}\relax }{table.6.1}{}}
|
|
sawine@3
|
243 |
\newlabel{flex_config2}{{6.2}{70}{ATCCL \texttt {flex}-Konfiguration: Flugplaneigenschaften\relax }{lstlisting.6.2}{}}
|
|
sawine@3
|
244 |
\@writefile{lol}{\contentsline {lstlisting}{\numberline {6.2}ATCCL \texttt {flex}-Konfiguration: Flugplaneigenschaften}{70}{lstlisting.6.2}}
|
|
sawine@3
|
245 |
\newlabel{flex_config3}{{6.3}{70}{ATCCL \texttt {flex}-Konfiguration: Separationstyp und Flugfläche\relax }{lstlisting.6.3}{}}
|
|
sawine@3
|
246 |
\@writefile{lol}{\contentsline {lstlisting}{\numberline {6.3}ATCCL \texttt {flex}-Konfiguration: Separationstyp und Flugfl\IeC {\"a}che}{70}{lstlisting.6.3}}
|
|
sawine@3
|
247 |
\newlabel{flex_config4}{{6.4}{70}{ATCCL \texttt {flex}-Konfiguration: Typ der Regeldefinition\relax }{lstlisting.6.4}{}}
|
|
sawine@3
|
248 |
\@writefile{lol}{\contentsline {lstlisting}{\numberline {6.4}ATCCL \texttt {flex}-Konfiguration: Typ der Regeldefinition}{70}{lstlisting.6.4}}
|
|
sawine@3
|
249 |
\newlabel{flex_config5}{{6.5}{70}{ATCCL \texttt {flex}-Konfiguration: Operatoren\relax }{lstlisting.6.5}{}}
|
|
sawine@3
|
250 |
\@writefile{lol}{\contentsline {lstlisting}{\numberline {6.5}ATCCL \texttt {flex}-Konfiguration: Operatoren}{70}{lstlisting.6.5}}
|
|
sawine@3
|
251 |
\newlabel{flex_config6}{{6.6}{71}{ATCCL \texttt {flex}-Konfiguration: \texttt {Constraint}-Token\relax }{lstlisting.6.6}{}}
|
|
sawine@3
|
252 |
\@writefile{lol}{\contentsline {lstlisting}{\numberline {6.6}ATCCL \texttt {flex}-Konfiguration: \texttt {Constraint}-Token}{71}{lstlisting.6.6}}
|
|
sawine@3
|
253 |
\newlabel{flex_config7}{{6.7}{71}{ATCCL \texttt {flex}-Konfiguration: Basisdatentypen\relax }{lstlisting.6.7}{}}
|
|
sawine@3
|
254 |
\@writefile{lol}{\contentsline {lstlisting}{\numberline {6.7}ATCCL \texttt {flex}-Konfiguration: Basisdatentypen}{71}{lstlisting.6.7}}
|
|
sawine@3
|
255 |
\newlabel{flex_config8}{{6.8}{71}{ATCCL \texttt {flex}-Konfiguration: IDs und Kommentare\relax }{lstlisting.6.8}{}}
|
|
sawine@3
|
256 |
\@writefile{lol}{\contentsline {lstlisting}{\numberline {6.8}ATCCL \texttt {flex}-Konfiguration: IDs und Kommentare}{71}{lstlisting.6.8}}
|
|
sawine@1
|
257 |
\citation{design_patterns}
|
|
sawine@3
|
258 |
\newlabel{flex_config9}{{6.9}{72}{ATCCL \texttt {flex}-Konfiguration: Fehlerbehandlung\relax }{lstlisting.6.9}{}}
|
|
sawine@3
|
259 |
\@writefile{lol}{\contentsline {lstlisting}{\numberline {6.9}ATCCL \texttt {flex}-Konfiguration: Fehlerbehandlung}{72}{lstlisting.6.9}}
|
|
sawine@3
|
260 |
\@writefile{toc}{\contentsline {subsection}{\numberline {6.4.2}\texttt {bison}-Konfiguration}{72}{subsection.6.4.2}}
|
|
sawine@3
|
261 |
\@writefile{toc}{\contentsline {subsection}{\numberline {6.4.3}Synthese}{72}{subsection.6.4.3}}
|
|
sawine@3
|
262 |
\@writefile{toc}{\contentsline {section}{\numberline {6.5}DFLOW}{73}{section.6.5}}
|
|
sawine@3
|
263 |
\@writefile{toc}{\contentsline {subsection}{\numberline {6.5.1}FDPS}{73}{subsection.6.5.1}}
|
|
sawine@3
|
264 |
\@writefile{toc}{\contentsline {subsection}{\numberline {6.5.2}Node Manager}{74}{subsection.6.5.2}}
|
|
sawine@3
|
265 |
\@writefile{toc}{\contentsline {subsection}{\numberline {6.5.3}AWP}{74}{subsection.6.5.3}}
|
|
sawine@3
|
266 |
\newlabel{fig:dflow_displays}{{6.5.3}{74}{AWP\relax }{subsection.6.5.3}{}}
|
|
sawine@3
|
267 |
\@writefile{lof}{\contentsline {figure}{\numberline {\relax 6.2}{\ignorespaces DFLOW Window \& Flow Aid Window}}{74}{figure.6.2}}
|
|
sawine@3
|
268 |
\@writefile{toc}{\contentsline {subsection}{\numberline {6.5.4}CWP}{75}{subsection.6.5.4}}
|
|
sawine@1
|
269 |
\citation{code_gen}
|
|
sawine@3
|
270 |
\@writefile{toc}{\contentsline {chapter}{\numberline {7}Verifikation}{77}{chapter.7}}
|
|
sawine@1
|
271 |
\@writefile{lof}{\addvspace {10\p@ }}
|
|
sawine@1
|
272 |
\@writefile{lot}{\addvspace {10\p@ }}
|
|
sawine@1
|
273 |
\@writefile{lol}{\addvspace {10\p@ }}
|
|
sawine@1
|
274 |
\@writefile{loa}{\addvspace {10\p@ }}
|
|
sawine@3
|
275 |
\@writefile{toc}{\contentsline {section}{\numberline {7.1}Werkzeugeinsatz}{77}{section.7.1}}
|
|
sawine@3
|
276 |
\@writefile{lot}{\contentsline {table}{\numberline {\relax 7.1}{\ignorespaces Anteil an automatisch generiertem Code}}{77}{table.7.1}}
|
|
sawine@3
|
277 |
\newlabel{auto_gen_loc}{{\relax 7.1}{77}{Anteil an automatisch generiertem Code\relax }{table.7.1}{}}
|
|
sawine@3
|
278 |
\@writefile{toc}{\contentsline {section}{\numberline {7.2}Unit-Tests}{78}{section.7.2}}
|
|
sawine@3
|
279 |
\@writefile{toc}{\contentsline {section}{\numberline {7.3}Testspezifikation}{78}{section.7.3}}
|
|
sawine@3
|
280 |
\@writefile{toc}{\contentsline {section}{\numberline {7.4}Testdurchf\IeC {\"u}hrung}{79}{section.7.4}}
|
|
sawine@3
|
281 |
\@writefile{toc}{\contentsline {section}{\numberline {7.5}Effizienz}{79}{section.7.5}}
|
|
sawine@3
|
282 |
\newlabel{verification:efficiency}{{7.5}{79}{Effizienz\relax }{section.7.5}{}}
|
|
sawine@3
|
283 |
\@writefile{toc}{\contentsline {section}{\numberline {7.6}Leistungsanalyse}{80}{section.7.6}}
|
|
sawine@3
|
284 |
\@writefile{toc}{\contentsline {subsection}{\numberline {7.6.1}Analysewerkzeuge}{80}{subsection.7.6.1}}
|
|
sawine@3
|
285 |
\@writefile{toc}{\contentsline {subsection}{\numberline {7.6.2}Datensatz}{81}{subsection.7.6.2}}
|
|
sawine@3
|
286 |
\@writefile{toc}{\contentsline {subsection}{\numberline {7.6.3}Auswertung}{81}{subsection.7.6.3}}
|
|
sawine@3
|
287 |
\@writefile{lof}{\contentsline {figure}{\numberline {\relax 7.1}{\ignorespaces Abflugzeitkonformit\IeC {\"a}t}}{82}{figure.7.1}}
|
|
sawine@3
|
288 |
\newlabel{fig:atot_etot_atd}{{\relax 7.1}{82}{Abflugzeitkonformität\relax }{figure.7.1}{}}
|
|
sawine@3
|
289 |
\@writefile{lof}{\contentsline {figure}{\numberline {\relax 7.2}{\ignorespaces Histogramm von Separationszeiten}}{83}{figure.7.2}}
|
|
sawine@3
|
290 |
\newlabel{fig:1figs}{{\relax 7.2}{83}{Histogramm von Separationszeiten\relax }{figure.7.2}{}}
|
|
sawine@3
|
291 |
\@writefile{toc}{\contentsline {chapter}{\numberline {8}Zusammenfassung}{85}{chapter.8}}
|
|
sawine@1
|
292 |
\@writefile{lof}{\addvspace {10\p@ }}
|
|
sawine@1
|
293 |
\@writefile{lot}{\addvspace {10\p@ }}
|
|
sawine@1
|
294 |
\@writefile{lol}{\addvspace {10\p@ }}
|
|
sawine@1
|
295 |
\@writefile{loa}{\addvspace {10\p@ }}
|
|
sawine@3
|
296 |
\@writefile{toc}{\contentsline {section}{\numberline {8.1}Fazit}{85}{section.8.1}}
|
|
sawine@3
|
297 |
\@writefile{toc}{\contentsline {section}{\numberline {8.2}Ausblick}{85}{section.8.2}}
|
|
sawine@1
|
298 |
\citation{moderne_flugsicherung}
|
|
sawine@1
|
299 |
\citation{compilers}
|
|
sawine@1
|
300 |
\citation{compilers}
|
|
sawine@1
|
301 |
\citation{compilers}
|
|
sawine@1
|
302 |
\citation{lex_paper}
|
|
sawine@1
|
303 |
\citation{lex_yacc_guide}
|
|
sawine@1
|
304 |
\bibdata{references}
|
|
sawine@1
|
305 |
\bibcite{compilers}{ALSU07}
|
|
sawine@1
|
306 |
\bibcite{iec_61508}{Com05}
|
|
sawine@1
|
307 |
\bibcite{eurocontrol_dman}{DME99}
|
|
sawine@1
|
308 |
\bibcite{bison_manual}{DS09}
|
|
sawine@1
|
309 |
\bibcite{design_patterns}{GHJV95}
|
|
sawine@1
|
310 |
\bibcite{code_gen}{Glo08}
|
|
sawine@1
|
311 |
\bibcite{yacc_paper}{Joh}
|
|
sawine@1
|
312 |
\bibcite{flugleiter_dman}{Klu07}
|
|
sawine@1
|
313 |
\bibcite{lex_paper}{LS}
|
|
sawine@1
|
314 |
\bibcite{personal}{May02}
|
|
sawine@1
|
315 |
\bibcite{moderne_flugsicherung}{Men04}
|
|
sawine@1
|
316 |
\bibcite{lex_yacc_guide}{Nie}
|
|
sawine@1
|
317 |
\bibcite{icao_4444}{Org96}
|
|
sawine@1
|
318 |
\bibcite{flex_manual}{PEM07}
|
|
sawine@1
|
319 |
\bibcite{ebnf}{Wir77}
|
|
sawine@3
|
320 |
\@writefile{toc}{\contentsline {chapter}{\numberline {A}Feinentwurf}{95}{appendix.A}}
|
|
sawine@1
|
321 |
\@writefile{lof}{\addvspace {10\p@ }}
|
|
sawine@1
|
322 |
\@writefile{lot}{\addvspace {10\p@ }}
|
|
sawine@1
|
323 |
\@writefile{lol}{\addvspace {10\p@ }}
|
|
sawine@1
|
324 |
\@writefile{loa}{\addvspace {10\p@ }}
|
|
sawine@3
|
325 |
\@writefile{toc}{\contentsline {section}{\numberline {A.1}ATCCL}{95}{section.A.1}}
|
|
sawine@3
|
326 |
\@writefile{toc}{\contentsline {subsection}{\numberline {A.1.1}Factory}{95}{subsection.A.1.1}}
|
|
sawine@3
|
327 |
\newlabel{uml:factories}{{A.1.1}{95}{Factory\relax }{subsection.A.1.1}{}}
|
|
sawine@3
|
328 |
\@writefile{toc}{\contentsline {subsection}{\numberline {A.1.2}Term-Hierarchy}{95}{subsection.A.1.2}}
|
|
sawine@3
|
329 |
\@writefile{toc}{\contentsline {subsection}{\numberline {A.1.3}Property (Auszug)}{96}{subsection.A.1.3}}
|
|
sawine@3
|
330 |
\newlabel{uml:property}{{A.1.3}{96}{Property (Auszug)\relax }{subsection.A.1.3}{}}
|
|
sawine@3
|
331 |
\@writefile{toc}{\contentsline {subsection}{\numberline {A.1.4}Virtual Machine}{96}{subsection.A.1.4}}
|
|
sawine@3
|
332 |
\@writefile{toc}{\contentsline {subsection}{\numberline {A.1.5}Flight Plan Interface}{97}{subsection.A.1.5}}
|
|
sawine@3
|
333 |
\newlabel{uml:flight_plan_interface}{{A.1.5}{97}{Flight Plan Interface\relax }{subsection.A.1.5}{}}
|
|
sawine@3
|
334 |
\@writefile{toc}{\contentsline {chapter}{\numberline {B}\texttt {bison}-Konfiguration}{99}{appendix.B}}
|
|
sawine@1
|
335 |
\@writefile{lof}{\addvspace {10\p@ }}
|
|
sawine@1
|
336 |
\@writefile{lot}{\addvspace {10\p@ }}
|
|
sawine@1
|
337 |
\@writefile{lol}{\addvspace {10\p@ }}
|
|
sawine@1
|
338 |
\@writefile{loa}{\addvspace {10\p@ }}
|
|
sawine@3
|
339 |
\newlabel{bison_config}{{B.1}{99}{ATCCL bison-Konfiguration\relax }{lstlisting.B.1}{}}
|
|
sawine@3
|
340 |
\@writefile{lol}{\contentsline {lstlisting}{\numberline {B.1}ATCCL bison-Konfiguration}{99}{lstlisting.B.1}}
|
|
sawine@1
|
341 |
\global\@altsecnumformattrue
|