sawine@1
|
1 |
\BOOKMARK [0][-]{chapter.1}{Vorwort}{}
|
sawine@1
|
2 |
\BOOKMARK [1][-]{section.1.1}{Danksagungen}{chapter.1}
|
sawine@1
|
3 |
\BOOKMARK [0][-]{chapter.2}{Einleitung}{}
|
sawine@1
|
4 |
\BOOKMARK [1][-]{section.2.1}{Zielsetzung}{chapter.2}
|
sawine@1
|
5 |
\BOOKMARK [1][-]{section.2.2}{Aufbau der Arbeit}{chapter.2}
|
sawine@1
|
6 |
\BOOKMARK [1][-]{section.2.3}{Comsoft GmbH}{chapter.2}
|
sawine@1
|
7 |
\BOOKMARK [0][-]{chapter.3}{Grundlagen}{}
|
sawine@1
|
8 |
\BOOKMARK [1][-]{section.3.1}{Flugsicherung}{chapter.3}
|
sawine@1
|
9 |
\BOOKMARK [2][-]{subsection.3.1.1}{Luftraumorganisation}{section.3.1}
|
sawine@1
|
10 |
\BOOKMARK [2][-]{subsection.3.1.2}{Staffelungsverfahren}{section.3.1}
|
sawine@1
|
11 |
\BOOKMARK [2][-]{subsection.3.1.3}{GCAA}{section.3.1}
|
sawine@1
|
12 |
\BOOKMARK [1][-]{section.3.2}{PRISMA-Architektur}{chapter.3}
|
sawine@1
|
13 |
\BOOKMARK [2][-]{subsection.3.2.1}{DMAP}{section.3.2}
|
sawine@1
|
14 |
\BOOKMARK [1][-]{section.3.3}{Compilerbau}{chapter.3}
|
sawine@1
|
15 |
\BOOKMARK [2][-]{subsection.3.3.1}{Compilerarchitekturen}{section.3.3}
|
sawine@1
|
16 |
\BOOKMARK [2][-]{subsection.3.3.2}{Werkzeugunterst\374tzung}{section.3.3}
|
sawine@1
|
17 |
\BOOKMARK [1][-]{section.3.4}{Sicherheitsfaktoren}{chapter.3}
|
sawine@1
|
18 |
\BOOKMARK [1][-]{section.3.5}{Produktvergleich}{chapter.3}
|
sawine@1
|
19 |
\BOOKMARK [2][-]{subsection.3.5.1}{CFMU}{section.3.5}
|
sawine@1
|
20 |
\BOOKMARK [2][-]{subsection.3.5.2}{PATS Departure Manager}{section.3.5}
|
sawine@1
|
21 |
\BOOKMARK [2][-]{subsection.3.5.3}{Departure Manager Frankfurt}{section.3.5}
|
sawine@1
|
22 |
\BOOKMARK [0][-]{chapter.4}{Anforderungsanalyse}{}
|
sawine@1
|
23 |
\BOOKMARK [1][-]{section.4.1}{Modellierung der Luftraumbeschr\344nkungen}{chapter.4}
|
sawine@1
|
24 |
\BOOKMARK [2][-]{subsection.4.1.1}{Benutzerqualifikation}{section.4.1}
|
sawine@1
|
25 |
\BOOKMARK [2][-]{subsection.4.1.2}{Sicherheitsfaktoren}{section.4.1}
|
sawine@1
|
26 |
\BOOKMARK [2][-]{subsection.4.1.3}{Flugplandaten}{section.4.1}
|
sawine@1
|
27 |
\BOOKMARK [2][-]{subsection.4.1.4}{Flussdichtenregelungen}{section.4.1}
|
sawine@1
|
28 |
\BOOKMARK [1][-]{section.4.2}{Abflugplanungskomponente}{chapter.4}
|
sawine@1
|
29 |
\BOOKMARK [1][-]{section.4.3}{Musskriterien}{chapter.4}
|
sawine@1
|
30 |
\BOOKMARK [1][-]{section.4.4}{Sollkriterien}{chapter.4}
|
sawine@1
|
31 |
\BOOKMARK [1][-]{section.4.5}{Abgrenzungskriterien}{chapter.4}
|
sawine@1
|
32 |
\BOOKMARK [1][-]{section.4.6}{Dokumentation}{chapter.4}
|
sawine@1
|
33 |
\BOOKMARK [0][-]{chapter.5}{Entwurf}{}
|
sawine@1
|
34 |
\BOOKMARK [1][-]{section.5.1}{ATCCL}{chapter.5}
|
sawine@1
|
35 |
\BOOKMARK [2][-]{subsection.5.1.1}{Syntax}{section.5.1}
|
sawine@1
|
36 |
\BOOKMARK [2][-]{subsection.5.1.2}{Beispiele}{section.5.1}
|
sawine@1
|
37 |
\BOOKMARK [2][-]{subsection.5.1.3}{Compiler}{section.5.1}
|
sawine@1
|
38 |
\BOOKMARK [2][-]{subsection.5.1.4}{Virtuelle Maschine}{section.5.1}
|
sawine@1
|
39 |
\BOOKMARK [2][-]{subsection.5.1.5}{Compilerprototyp}{section.5.1}
|
sawine@1
|
40 |
\BOOKMARK [2][-]{subsection.5.1.6}{Evaluation von Flugplanmustern}{section.5.1}
|
sawine@1
|
41 |
\BOOKMARK [2][-]{subsection.5.1.7}{Optimierung der Abflugzeit}{section.5.1}
|
sawine@1
|
42 |
\BOOKMARK [1][-]{section.5.2}{DFLOW}{chapter.5}
|
sawine@1
|
43 |
\BOOKMARK [2][-]{subsection.5.2.1}{DMAP-Interaktion}{section.5.2}
|
sawine@1
|
44 |
\BOOKMARK [2][-]{subsection.5.2.2}{Verarbeitungslogik}{section.5.2}
|
sawine@1
|
45 |
\BOOKMARK [2][-]{subsection.5.2.3}{Protokollierung}{section.5.2}
|
sawine@1
|
46 |
\BOOKMARK [0][-]{chapter.6}{Realisierung}{}
|
sawine@1
|
47 |
\BOOKMARK [1][-]{section.6.1}{Programmiersprache \046 Hilfsbibliotheken}{chapter.6}
|
sawine@1
|
48 |
\BOOKMARK [2][-]{subsection.6.1.1}{Compiler}{section.6.1}
|
sawine@1
|
49 |
\BOOKMARK [2][-]{subsection.6.1.2}{Comsoft stdbase}{section.6.1}
|
sawine@1
|
50 |
\BOOKMARK [2][-]{subsection.6.1.3}{CppUnit}{section.6.1}
|
sawine@1
|
51 |
\BOOKMARK [2][-]{subsection.6.1.4}{Code Coverage}{section.6.1}
|
sawine@1
|
52 |
\BOOKMARK [1][-]{section.6.2}{Entwicklungsumgebung}{chapter.6}
|
sawine@1
|
53 |
\BOOKMARK [2][-]{subsection.6.2.1}{IDE}{section.6.2}
|
sawine@1
|
54 |
\BOOKMARK [2][-]{subsection.6.2.2}{Versionsverwaltung}{section.6.2}
|
sawine@1
|
55 |
\BOOKMARK [2][-]{subsection.6.2.3}{Betriebssystem}{section.6.2}
|
sawine@1
|
56 |
\BOOKMARK [1][-]{section.6.3}{Dokumentation \046 Entwurf}{chapter.6}
|
sawine@1
|
57 |
\BOOKMARK [1][-]{section.6.4}{ATCCL}{chapter.6}
|
sawine@1
|
58 |
\BOOKMARK [2][-]{subsection.6.4.1}{flex-Konfiguration}{section.6.4}
|
sawine@1
|
59 |
\BOOKMARK [2][-]{subsection.6.4.2}{bison-Konfiguration}{section.6.4}
|
sawine@1
|
60 |
\BOOKMARK [2][-]{subsection.6.4.3}{Synthese}{section.6.4}
|
sawine@1
|
61 |
\BOOKMARK [1][-]{section.6.5}{DFLOW}{chapter.6}
|
sawine@1
|
62 |
\BOOKMARK [2][-]{subsection.6.5.1}{FDPS}{section.6.5}
|
sawine@1
|
63 |
\BOOKMARK [2][-]{subsection.6.5.2}{Node Manager}{section.6.5}
|
sawine@1
|
64 |
\BOOKMARK [2][-]{subsection.6.5.3}{AWP}{section.6.5}
|
sawine@1
|
65 |
\BOOKMARK [2][-]{subsection.6.5.4}{CWP}{section.6.5}
|
sawine@1
|
66 |
\BOOKMARK [0][-]{chapter.7}{Verifikation}{}
|
sawine@1
|
67 |
\BOOKMARK [1][-]{section.7.1}{Werkzeugeinsatz}{chapter.7}
|
sawine@1
|
68 |
\BOOKMARK [1][-]{section.7.2}{Unit-Tests}{chapter.7}
|
sawine@1
|
69 |
\BOOKMARK [1][-]{section.7.3}{Testspezifikation}{chapter.7}
|
sawine@1
|
70 |
\BOOKMARK [1][-]{section.7.4}{Testdurchf\374hrung}{chapter.7}
|
sawine@1
|
71 |
\BOOKMARK [1][-]{section.7.5}{Effizienz}{chapter.7}
|
sawine@1
|
72 |
\BOOKMARK [1][-]{section.7.6}{Leistungsanalyse}{chapter.7}
|
sawine@1
|
73 |
\BOOKMARK [2][-]{subsection.7.6.1}{Analysewerkzeuge}{section.7.6}
|
sawine@1
|
74 |
\BOOKMARK [2][-]{subsection.7.6.2}{Datensatz}{section.7.6}
|
sawine@1
|
75 |
\BOOKMARK [2][-]{subsection.7.6.3}{Auswertung}{section.7.6}
|
sawine@1
|
76 |
\BOOKMARK [0][-]{chapter.8}{Zusammenfassung}{}
|
sawine@1
|
77 |
\BOOKMARK [1][-]{section.8.1}{Fazit}{chapter.8}
|
sawine@1
|
78 |
\BOOKMARK [1][-]{section.8.2}{Ausblick}{chapter.8}
|
sawine@1
|
79 |
\BOOKMARK [0][-]{appendix.A}{Feinentwurf}{}
|
sawine@1
|
80 |
\BOOKMARK [1][-]{section.A.1}{ATCCL}{appendix.A}
|
sawine@1
|
81 |
\BOOKMARK [2][-]{subsection.A.1.1}{Factory}{section.A.1}
|
sawine@1
|
82 |
\BOOKMARK [2][-]{subsection.A.1.2}{Term-Hierarchy}{section.A.1}
|
sawine@1
|
83 |
\BOOKMARK [2][-]{subsection.A.1.3}{Property \(Auszug\)}{section.A.1}
|
sawine@1
|
84 |
\BOOKMARK [2][-]{subsection.A.1.4}{Virtual Machine}{section.A.1}
|
sawine@1
|
85 |
\BOOKMARK [2][-]{subsection.A.1.5}{Flight Plan Interface}{section.A.1}
|
sawine@1
|
86 |
\BOOKMARK [0][-]{appendix.B}{bison-Konfiguration}{}
|