sawine@1: \BOOKMARK [0][-]{chapter.1}{Vorwort}{}
sawine@1: \BOOKMARK [1][-]{section.1.1}{Danksagungen}{chapter.1}
sawine@1: \BOOKMARK [0][-]{chapter.2}{Einleitung}{}
sawine@1: \BOOKMARK [1][-]{section.2.1}{Zielsetzung}{chapter.2}
sawine@1: \BOOKMARK [1][-]{section.2.2}{Aufbau der Arbeit}{chapter.2}
sawine@1: \BOOKMARK [1][-]{section.2.3}{Comsoft GmbH}{chapter.2}
sawine@1: \BOOKMARK [0][-]{chapter.3}{Grundlagen}{}
sawine@1: \BOOKMARK [1][-]{section.3.1}{Flugsicherung}{chapter.3}
sawine@1: \BOOKMARK [2][-]{subsection.3.1.1}{Luftraumorganisation}{section.3.1}
sawine@1: \BOOKMARK [2][-]{subsection.3.1.2}{Staffelungsverfahren}{section.3.1}
sawine@1: \BOOKMARK [2][-]{subsection.3.1.3}{GCAA}{section.3.1}
sawine@1: \BOOKMARK [1][-]{section.3.2}{PRISMA-Architektur}{chapter.3}
sawine@1: \BOOKMARK [2][-]{subsection.3.2.1}{DMAP}{section.3.2}
sawine@1: \BOOKMARK [1][-]{section.3.3}{Compilerbau}{chapter.3}
sawine@1: \BOOKMARK [2][-]{subsection.3.3.1}{Compilerarchitekturen}{section.3.3}
sawine@1: \BOOKMARK [2][-]{subsection.3.3.2}{Werkzeugunterst\374tzung}{section.3.3}
sawine@1: \BOOKMARK [1][-]{section.3.4}{Sicherheitsfaktoren}{chapter.3}
sawine@1: \BOOKMARK [1][-]{section.3.5}{Produktvergleich}{chapter.3}
sawine@1: \BOOKMARK [2][-]{subsection.3.5.1}{CFMU}{section.3.5}
sawine@1: \BOOKMARK [2][-]{subsection.3.5.2}{PATS Departure Manager}{section.3.5}
sawine@1: \BOOKMARK [2][-]{subsection.3.5.3}{Departure Manager Frankfurt}{section.3.5}
sawine@1: \BOOKMARK [0][-]{chapter.4}{Anforderungsanalyse}{}
sawine@1: \BOOKMARK [1][-]{section.4.1}{Modellierung der Luftraumbeschr\344nkungen}{chapter.4}
sawine@1: \BOOKMARK [2][-]{subsection.4.1.1}{Benutzerqualifikation}{section.4.1}
sawine@1: \BOOKMARK [2][-]{subsection.4.1.2}{Sicherheitsfaktoren}{section.4.1}
sawine@1: \BOOKMARK [2][-]{subsection.4.1.3}{Flugplandaten}{section.4.1}
sawine@1: \BOOKMARK [2][-]{subsection.4.1.4}{Flussdichtenregelungen}{section.4.1}
sawine@1: \BOOKMARK [1][-]{section.4.2}{Abflugplanungskomponente}{chapter.4}
sawine@1: \BOOKMARK [1][-]{section.4.3}{Musskriterien}{chapter.4}
sawine@1: \BOOKMARK [1][-]{section.4.4}{Sollkriterien}{chapter.4}
sawine@1: \BOOKMARK [1][-]{section.4.5}{Abgrenzungskriterien}{chapter.4}
sawine@1: \BOOKMARK [1][-]{section.4.6}{Dokumentation}{chapter.4}
sawine@1: \BOOKMARK [0][-]{chapter.5}{Entwurf}{}
sawine@1: \BOOKMARK [1][-]{section.5.1}{ATCCL}{chapter.5}
sawine@1: \BOOKMARK [2][-]{subsection.5.1.1}{Syntax}{section.5.1}
sawine@1: \BOOKMARK [2][-]{subsection.5.1.2}{Beispiele}{section.5.1}
sawine@1: \BOOKMARK [2][-]{subsection.5.1.3}{Compiler}{section.5.1}
sawine@1: \BOOKMARK [2][-]{subsection.5.1.4}{Virtuelle Maschine}{section.5.1}
sawine@1: \BOOKMARK [2][-]{subsection.5.1.5}{Compilerprototyp}{section.5.1}
sawine@1: \BOOKMARK [2][-]{subsection.5.1.6}{Evaluation von Flugplanmustern}{section.5.1}
sawine@1: \BOOKMARK [2][-]{subsection.5.1.7}{Optimierung der Abflugzeit}{section.5.1}
sawine@1: \BOOKMARK [1][-]{section.5.2}{DFLOW}{chapter.5}
sawine@1: \BOOKMARK [2][-]{subsection.5.2.1}{DMAP-Interaktion}{section.5.2}
sawine@1: \BOOKMARK [2][-]{subsection.5.2.2}{Verarbeitungslogik}{section.5.2}
sawine@1: \BOOKMARK [2][-]{subsection.5.2.3}{Protokollierung}{section.5.2}
sawine@1: \BOOKMARK [0][-]{chapter.6}{Realisierung}{}
sawine@1: \BOOKMARK [1][-]{section.6.1}{Programmiersprache \046 Hilfsbibliotheken}{chapter.6}
sawine@1: \BOOKMARK [2][-]{subsection.6.1.1}{Compiler}{section.6.1}
sawine@1: \BOOKMARK [2][-]{subsection.6.1.2}{Comsoft stdbase}{section.6.1}
sawine@1: \BOOKMARK [2][-]{subsection.6.1.3}{CppUnit}{section.6.1}
sawine@1: \BOOKMARK [2][-]{subsection.6.1.4}{Code Coverage}{section.6.1}
sawine@1: \BOOKMARK [1][-]{section.6.2}{Entwicklungsumgebung}{chapter.6}
sawine@1: \BOOKMARK [2][-]{subsection.6.2.1}{IDE}{section.6.2}
sawine@1: \BOOKMARK [2][-]{subsection.6.2.2}{Versionsverwaltung}{section.6.2}
sawine@1: \BOOKMARK [2][-]{subsection.6.2.3}{Betriebssystem}{section.6.2}
sawine@1: \BOOKMARK [1][-]{section.6.3}{Dokumentation \046 Entwurf}{chapter.6}
sawine@1: \BOOKMARK [1][-]{section.6.4}{ATCCL}{chapter.6}
sawine@1: \BOOKMARK [2][-]{subsection.6.4.1}{flex-Konfiguration}{section.6.4}
sawine@1: \BOOKMARK [2][-]{subsection.6.4.2}{bison-Konfiguration}{section.6.4}
sawine@1: \BOOKMARK [2][-]{subsection.6.4.3}{Synthese}{section.6.4}
sawine@1: \BOOKMARK [1][-]{section.6.5}{DFLOW}{chapter.6}
sawine@1: \BOOKMARK [2][-]{subsection.6.5.1}{FDPS}{section.6.5}
sawine@1: \BOOKMARK [2][-]{subsection.6.5.2}{Node Manager}{section.6.5}
sawine@1: \BOOKMARK [2][-]{subsection.6.5.3}{AWP}{section.6.5}
sawine@1: \BOOKMARK [2][-]{subsection.6.5.4}{CWP}{section.6.5}
sawine@1: \BOOKMARK [0][-]{chapter.7}{Verifikation}{}
sawine@1: \BOOKMARK [1][-]{section.7.1}{Werkzeugeinsatz}{chapter.7}
sawine@1: \BOOKMARK [1][-]{section.7.2}{Unit-Tests}{chapter.7}
sawine@1: \BOOKMARK [1][-]{section.7.3}{Testspezifikation}{chapter.7}
sawine@1: \BOOKMARK [1][-]{section.7.4}{Testdurchf\374hrung}{chapter.7}
sawine@1: \BOOKMARK [1][-]{section.7.5}{Effizienz}{chapter.7}
sawine@1: \BOOKMARK [1][-]{section.7.6}{Leistungsanalyse}{chapter.7}
sawine@1: \BOOKMARK [2][-]{subsection.7.6.1}{Analysewerkzeuge}{section.7.6}
sawine@1: \BOOKMARK [2][-]{subsection.7.6.2}{Datensatz}{section.7.6}
sawine@1: \BOOKMARK [2][-]{subsection.7.6.3}{Auswertung}{section.7.6}
sawine@1: \BOOKMARK [0][-]{chapter.8}{Zusammenfassung}{}
sawine@1: \BOOKMARK [1][-]{section.8.1}{Fazit}{chapter.8}
sawine@1: \BOOKMARK [1][-]{section.8.2}{Ausblick}{chapter.8}
sawine@1: \BOOKMARK [0][-]{appendix.A}{Feinentwurf}{}
sawine@1: \BOOKMARK [1][-]{section.A.1}{ATCCL}{appendix.A}
sawine@1: \BOOKMARK [2][-]{subsection.A.1.1}{Factory}{section.A.1}
sawine@1: \BOOKMARK [2][-]{subsection.A.1.2}{Term-Hierarchy}{section.A.1}
sawine@1: \BOOKMARK [2][-]{subsection.A.1.3}{Property \(Auszug\)}{section.A.1}
sawine@1: \BOOKMARK [2][-]{subsection.A.1.4}{Virtual Machine}{section.A.1}
sawine@1: \BOOKMARK [2][-]{subsection.A.1.5}{Flight Plan Interface}{section.A.1}
sawine@1: \BOOKMARK [0][-]{appendix.B}{bison-Konfiguration}{}