Durch das stetige Wachstum des Luftverkehrs sind die Kapazitäten in manchen Regionen der Welt bereits ausgelastet. Dadurch entstehen im Luftverkehrsnetz Engpässe. Regulatorische Eingriffe der Flugsicherung in den Flugverlauf haben Auswirkung auf den Treibstoffverbrauch und die Flugdauer - somit konkurrieren ökonomische und ökologische Ziele mit der Gewährleistung der Sicherheit. Wie lässt sich die Notwendigkeit solcher Maßnahmen reduzieren? Wie modelliert man erfolgreich die komplexen und dynamischen Beschränkungen eines Luftraums? Die Arbeit dokumentiert den Verlauf eines Softwareprojekts für die Flugsicherung. Als Einleitung zu der Entwicklung der domänenspezifischen Sprache für die Luftraummodellierung wird der Leser in die Organisation der Flugsicherung eingeführt. Detailliert werden die einzelnen Phasen des Projekts erläutert. Analysemethoden werden vorgestellt und die Auswertung des Testbetriebs präsentiert. Das Buch richtet sich an Softwareentwickler, an Interessierte der Luftfahrt und der Flugsicherung und an alle, die hinter die Kulissen eines solchen Projekts blicken möchten.